Proofs for free - Parametricity for dependent types.

Jean-Philippe Bernardy Patrik Jansson Ross Paterson

Published in: J. Funct. Program. (2012)

Keyphrases

databases
machine learning
high level
natural language
preprocessing
theorem proving
multiple types