Yu Liu, Peter McBrien: Transactional and Incremental Type Inference from Data Updates. BICOD 2015: 206-219