Login / Signup
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