Login / Signup

Realizing the Dependently Typed Lambda Calculus.

Zachary Snow
Published in: ICLP (Technical Communications) (2010)
Keyphrases
  • lambda calculus
  • programming language
  • predicate calculus
  • database query languages
  • higher order
  • complex objects
  • program understanding
  • software engineering