Practical type inference based on success typings.

Tobias Lindahl Konstantinos Sagonas

Published in: PPDP (2006)

Keyphrases

real world
practical application
probabilistic inference
information technology
bayesian model
grammatical inference
learning algorithm
computer vision
efficient learning
inference process
return on investment