Flexible types: robust type inference for first-class polymorphism.

Published in: POPL (2009)

Keyphrases

multiple types
information retrieval
artificial intelligence
efficient learning
database
bayesian networks
lightweight
probabilistic inference
highly efficient
multi class classification
inference process