Sign in
Adoption and Focus: Practical Linear Types for Imperative Programming.
Manuel Fähndrich
Robert 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