%0 Journal Article
%T Transactional and Incremental Type Inference from Data Updates
%A Liu, Yu
%A McBrien, Peter
%J The Computer Journal
%V 60
%N 3
%P 347-368
%@ 0010-4620
%D 2017-03-01
%I Oxford University Press
%~ DeepDyve