Diagnosing type errors with class

Danfeng Zhang, Andrew C. Myers, Dimitrios Vytiniotis, Simon L. Peyton Jones. Diagnosing type errors with class. In David Grove, Steve Blackburn, editors, Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, Portland, OR, USA, June 15-17, 2015. pages 12-21, ACM, 2015. [doi]

@inproceedings{ZhangMVJ15,
  title = {Diagnosing type errors with class},
  author = {Danfeng Zhang and Andrew C. Myers and Dimitrios Vytiniotis and Simon L. Peyton Jones},
  year = {2015},
  doi = {10.1145/2737924.2738009},
  url = {http://doi.acm.org/10.1145/2737924.2738009},
  researchr = {https://researchr.org/publication/ZhangMVJ15},
  cites = {0},
  citedby = {0},
  pages = {12-21},
  booktitle = {Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, Portland, OR, USA, June 15-17, 2015},
  editor = {David Grove and Steve Blackburn},
  publisher = {ACM},
  isbn = {978-1-4503-3468-6},
}