A Brief Overview of Agda - A Functional Language with Dependent Types.

Ana Bove Peter Dybjer Ulf Norell

Published in: TPHOLs (2009)

Keyphrases

functional language
functional programming
artificial intelligence
programming language
knn
general purpose
distance function