Polymorphic Type Inference with Overloading and Subtyping.

Published in: TAPSOFT (1993)

Keyphrases

type checking
probabilistic inference
bayesian inference
data sets
machine learning
artificial intelligence
artificial neural networks
maximum likelihood
multiple types
bayesian model
inference process
inference mechanism