From ML type inference to stratified type inference.

François Pottier

Published in: ICFP (2005)

Keyphrases

bayesian networks
probabilistic inference
genetic algorithm
three dimensional
bayesian inference
real world
machine learning
decision trees
multi agent systems
parameter estimation
belief networks