Dynamic type inference for gradual Hindley-Milner typing.

Yusuke Miyazaki Taro Sekiyama Atsushi Igarashi

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

Keyphrases

dynamic environments
artificial intelligence
case study
bayesian networks
pairwise
grammatical inference
database
real time
knowledge base
probabilistic inference
bayesian inference
dynamic bayesian networks
multiple types
dynamically changing
inference process