Case of (Quite) Painless Dependently Typed Programming: Fully Certified Merge Sort in Agda.

Ernesto Copello Alvaro Tasistro Bruno Bianchi

Published in: SBLP (2014)

Keyphrases

higher order
programming language
artificial intelligence
evolutionary algorithm
decision trees
data structure
pairwise
fixed order