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: MFPS (1995)

Keyphrases

lambda calculus
programming language
higher order
predicate calculus
database query languages
case study
program understanding