Enriching an Effect Calculus with Linear Types.

Jeff Egger Rasmus Ejlers Møgelberg Alex Simpson

Published in: CSL (2009)

Keyphrases

real time
neural network
linear model
simple linear
automated deduction
genetic algorithm
artificial intelligence
computer vision
decision making
decision trees
multiscale
expert systems
closed form
piecewise linear
linear constraints
linear complexity