Second-Order Unification and Type Inference for Church-Style Polymorphism.

Aleksy Schubert

Published in: POPL (1998)

Keyphrases

higher order
probabilistic inference
case study
bayesian networks
efficient learning
real time
data sets
neural network
image processing
belief networks
bayesian inference
artificial intelligence
probability distribution
high order
database programming language