Linearly Used Effects: Monadic and CPS Transformations into the Linear Lambda Calculus.

Masahito Hasegawa

Published in: APLAS (2001)

Keyphrases

lambda calculus
programming language
general purpose
higher order
deductive databases
predicate calculus
artificial intelligence
complex objects
database query languages