The Call-by-Need Lambda Calculus.

John Maraist Martin Odersky Philip Wadler

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

Keyphrases

lambda calculus
programming language
predicate calculus
database query languages
higher order
complex objects
program understanding
high level
object oriented
databases
artificial intelligence
data structure
open source
formal model
reverse engineering