Linear-use CPS translations in the Enriched Effect Calculus

Jeff Egger Rasmus Ejlers Møgelberg Alex Simpson

Published in: Log. Methods Comput. Sci. (2012)

Keyphrases

linear complexity
machine learning
constraint query languages
neural network
artificial intelligence
database systems
relational databases
machine translation
simple linear