Call-by-name, Call-by-value, Call-by-need and the Linear lambda Calculus.

John Maraist Martin Odersky David N. Turner Philip Wadler

Published in: Theor. Comput. Sci. (1999)

Keyphrases

predicate calculus
lambda calculus
database
artificial intelligence
programming language