Learning to blame: localizing novice type errors with data-driven diagnosis. - Eric L. Seidel; Huma Sibghat; Kamalika Chaudhuri; Westley Weimer; Ranjit Jhala (Proc. ACM Program. Lang., 2017)