Login / Signup

Computational Lambda-Calculus and Monads

Eugenio Moggi
Published in: LICS (1989)
Keyphrases
  • lambda calculus
  • programming language
  • predicate calculus
  • database query languages
  • databases
  • database systems
  • general purpose