Login / Signup

Monads and Meta-lambda Calculus.

Daisuke Bekki
Published in: JSAI (2008)
Keyphrases
  • lambda calculus
  • programming language
  • predicate calculus
  • higher order
  • program understanding
  • database query languages
  • complex objects
  • high level
  • data warehouse