Dependently Typed Programming in Agda.

Published in: Advanced Functional Programming (2008)

Keyphrases

programming language
lambda calculus
higher order
programming environment
development environment
object oriented programming
information retrieval
video sequences
database
social networks
decision making
website
clustering algorithm
search algorithm
computer programming