Equality proofs and deferred type errors: a compiler pearl.

Dimitrios Vytiniotis Simon L. Peyton Jones José Pedro Magalhães

Published in: ICFP (2012)

Keyphrases

neural network
programming language
relational databases
software systems
data sets
data mining
belief revision