A Tutorial Implementation of a Dependently Typed Lambda Calculus.

Andres Löh Conor McBride Wouter Swierstra

Published in: Fundam. Informaticae (2010)

Keyphrases

lambda calculus
programming language
predicate calculus
program understanding
higher order
database query languages
database systems