Constraint-Based Type Inference and Parametric Polymorphism.

Published in: SAS (1994)

Keyphrases

probabilistic inference
efficient learning
decision making
real time
database programming language
database
databases
neural network
machine learning
website
objective function
constraint satisfaction
bayesian inference
inference process