Type Inference and Semi-Unification.

Published in: LISP and Functional Programming (1988)

Keyphrases

probabilistic inference
higher order
neural network
real time
data sets
hidden markov models
probabilistic model
belief networks
bayesian model
grammatical inference
inference mechanism