Type Inference with Partial Types.

Published in: ICALP (1988)

Keyphrases

multiple types
database
bayesian networks
programming language
probabilistic inference
neural network
decision making
case study
belief networks
bayesian inference