Dependently typed programming in Agda.

Published in: TLDI (2009)

Keyphrases

programming language
higher order
programming environment
lambda calculus
computer programming
high level
database
neural network
real world
computer vision
query language
development environment
fully functional