The Call-by-Need Lambda Calculus.

Zena M. Ariola Matthias Felleisen John Maraist Martin Odersky Philip Wadler

Published in: POPL (1995)

Keyphrases

lambda calculus
programming language
predicate calculus
program understanding
database query languages
higher order
databases
general purpose
complex objects
database
high level
formal model