Type Inference with Recursive Types: Syntax and Semantics

Felice Cardone Mario Coppo

Published in: Inf. Comput. (1991)

Keyphrases

multiple types
bayesian inference
inference process
case study
special case
probabilistic reasoning
bayesian networks
data structure
multi agent systems
probabilistic inference
special features