Login / Signup

The Call-by-Need Lambda Calculus, Revisited.

Stephen ChangMatthias Felleisen
Published in: ESOP (2012)
Keyphrases
  • lambda calculus
  • programming language
  • predicate calculus
  • database query languages
  • program understanding
  • higher order
  • complex objects
  • general purpose
  • databases
  • artificial intelligence
  • fault detection