Login / Signup

Call-by-name, call-by-value, call-by-need and the linear lambda calculus.

John MaraistMartin OderskyDavid N. TurnerPhilip Wadler
Published in: MFPS (1995)
Keyphrases
  • lambda calculus
  • programming language
  • higher order
  • predicate calculus
  • database query languages
  • case study
  • program understanding