A lean specification for GADTs: system F with first-class equality proofs.

Arie Middelkoop Atze Dijkstra S. Doaitse Swierstra

Published in: High. Order Symb. Comput. (2010)

Keyphrases

theorem proving
database
databases
machine learning
computer vision
probabilistic model
multi class classification
formal proof