Sign in

Adoption and Focus: Practical Linear Types for Imperative Programming.

Manuel FähndrichRobert DeLine
Published in: PLDI (2002)
Keyphrases
  • real world
  • theoretical underpinnings
  • information systems
  • programming environment
  • linear systems
  • programming course
  • data sets
  • neural network
  • learning algorithm
  • programming language
  • closed form