A General Type Inference Framework for Hindley/Milner Style Systems.

Martin Sulzmann

Published in: FLOPS (2001)

Keyphrases

special case
inference process
learning algorithm
search engine
computer vision
case study
management system
markov random field
lightweight
building blocks
main contribution
closely related
retrieval systems
probabilistic inference
decision theoretic