Gradual liquid type inference.

Niki Vazou Éric Tanter David Van Horn

Published in: Proc. ACM Program. Lang. (2018)

Keyphrases

real time
machine learning
digital libraries
database
artificial intelligence
information systems
image processing
bayesian networks
multi agent
artificial neural networks
mathematical model
probabilistic inference
bayesian inference
inference process