Type inference against races.

Cormac Flanagan Stephen N. Freund

Published in: Sci. Comput. Program. (2007)

Keyphrases

bayesian inference
probabilistic inference
artificial intelligence
decision trees
data sets
three dimensional
bayesian networks
data structure
evolutionary algorithm
hidden markov models
model selection
inference process