Certification of a Type Inference Tool for ML: Damas-Milner within Coq.

Catherine Dubois Valérie Ménissier-Morain

Published in: J. Autom. Reason. (1999)

Keyphrases

probabilistic inference
maximum likelihood
bayesian inference
software tools
genetic algorithm
third party
dynamic bayesian networks
formal methods
analysis tool
bayesian model
inference mechanism