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

Masahito Hasegawa

Published in: FLOPS (2002)

Keyphrases

lambda calculus
programming language
deductive databases
predicate calculus
databases
semantic network
reverse engineering
program understanding
database design
complex objects
formal model