Ambivalent Types for Principal Type Inference with GADTs.

Jacques Garrigue Didier Rémy

Published in: APLAS (2013)

Keyphrases

multiple types
probabilistic inference
neural network
data mining
machine learning
decision trees
bayesian networks
efficient learning
real time
bayesian model
belief networks
graphical models
artificial neural networks
digital libraries
search algorithm
optimal solution
website