Diagnosing type errors with class.

Danfeng Zhang, Andrew C. Myers, Dimitrios Vytiniotis, Simon L. Peyton Jones

Browse the full PLDI paper archive.