A practical framework for type inference error explanation.

Calvin Loncaric, Satish Chandra, Cole Schlesinger, Manu Sridharan

Browse the full OOPSLA paper archive.