Polymorphism, subtyping, and type inference in MLsub.

Stephen Dolan Alan Mycroft

Published in: POPL (2017)

Keyphrases

bayesian inference
real time
bayesian networks
belief networks
probabilistic inference
machine learning
programming language
inference engine
dynamic bayesian networks
multiple types
inference problems