The Call-By-Need lambda Calculus.

Zena M. Ariola Matthias Felleisen

Published in: J. Funct. Program. (1997)

Keyphrases

lambda calculus
programming language
predicate calculus
database query languages
complex objects
higher order
relational databases
predicate logic
type checking