Gradual Liquid Type Inference.

Niki Vazou Éric Tanter David Van Horn

Published in: CoRR (2018)

Keyphrases

bayesian networks
bayesian inference
boundary conditions
data mining
case study
probabilistic inference
inference problems