Login / Signup
Polymorphic Type Inference.
Daniel Leivant
Published in:
POPL (1983)
Keyphrases
</>
type checking
bayesian networks
probabilistic inference
real world
belief networks
neural network
information systems
image processing
data structure
video sequences
graphical models
belief propagation
bayesian inference
multiple types
inference problems