The Call-by-need Lambda Calculus, Revisited

Stephen Chang Matthias Felleisen

Published in: CoRR (2012)

Keyphrases

lambda calculus
programming language
predicate calculus
database query languages
program understanding
complex objects
higher order
general purpose
artificial intelligence
high level
pairwise