Lazy Type Inference and Program Analysis.

Chris Hankin Daniel Le Métayer

Published in: Sci. Comput. Program. (1995)

Keyphrases

probabilistic inference
multiply sectioned bayesian networks
decision theoretic
data sets
information retrieval
decision making
web services
structured prediction