Type Inference with Polymorphic Recursion.

Published in: ACM Trans. Program. Lang. Syst. (1993)

Keyphrases

type checking
probabilistic inference
data sets
neural network
data mining
machine learning
artificial intelligence
decision trees
bayesian networks
belief networks