The ins and outs of gradual type inference.

Aseem Rastogi Avik Chaudhuri Basil Hosmer

Published in: POPL (2012)

Keyphrases

data sets
bayesian networks
artificial intelligence
computer vision
probabilistic inference
bayesian inference
neural network
real world
decision making
multiscale
multiresolution
inference process