Yu Liu, Peter McBrien. Transactional and Incremental Type Inference from Data Updates. Comput. J., 60(3):347-368, 2017. [doi]
@article{LiuM17-1,
title = {Transactional and Incremental Type Inference from Data Updates},
author = {Yu Liu and Peter McBrien},
year = {2017},
doi = {10.1093/comjnl/bxw048},
url = {https://doi.org/10.1093/comjnl/bxw048},
researchr = {https://researchr.org/publication/LiuM17-1},
cites = {0},
citedby = {0},
journal = {Comput. J.},
volume = {60},
number = {3},
pages = {347-368},
}