{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,9]],"date-time":"2026-06-09T08:42:39Z","timestamp":1780994559816,"version":"3.54.1"},"publisher-location":"New York, NY, USA","reference-count":33,"publisher":"ACM","license":[{"start":{"date-parts":[[2015,6,3]],"date-time":"2015-06-03T00:00:00Z","timestamp":1433289600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CCF-0964409"],"award-info":[{"award-number":["CCF-0964409"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000006","name":"Office of Naval Research","doi-asserted-by":"publisher","award":["N00014-13-1-0089"],"award-info":[{"award-number":["N00014-13-1-0089"]}],"id":[{"id":"10.13039\/100000006","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Multidisciplinary University Research Initiative (MURI)","award":["FA9550-12-1-0400"],"award-info":[{"award-number":["FA9550-12-1-0400"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2015,6,3]]},"DOI":"10.1145\/2737924.2738009","type":"proceedings-article","created":{"date-parts":[[2015,6,3]],"date-time":"2015-06-03T11:35:56Z","timestamp":1433331356000},"page":"12-21","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":25,"title":["Diagnosing type errors with class"],"prefix":"10.1145","author":[{"given":"Danfeng","family":"Zhang","sequence":"first","affiliation":[{"name":"Cornell University, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Andrew C.","family":"Myers","sequence":"additional","affiliation":[{"name":"Cornell University, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Dimitrios","family":"Vytiniotis","sequence":"additional","affiliation":[{"name":"Microsoft Research, UK"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Simon","family":"Peyton-Jones","sequence":"additional","affiliation":[{"name":"Microsoft Research, UK"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2015,6,3]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6423(99)00007-6"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/165180.165188"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1137\/S0097539798337716"},{"key":"e_1_3_2_1_4_1","volume-title":"Accuracy of CF-typing. Private communication","author":"Chen S.","year":"2014","unstructured":"S. Chen . Accuracy of CF-typing. Private communication , 2014 . S. Chen. Accuracy of CF-typing. Private communication, 2014."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2535838.2535863"},{"key":"e_1_3_2_1_6_1","volume-title":"Better type-error messages through lazy typing. Technical report","author":"Chen S.","year":"2014","unstructured":"S. Chen and M. Erwig . Better type-error messages through lazy typing. Technical report , Oregon State University , 2014 . S. Chen and M. Erwig. Better type-error messages through lazy typing. Technical report, Oregon State University, 2014."},{"key":"e_1_3_2_1_7_1","volume-title":"Diagnosis of ill-typed programs. Technical report","author":"Choppella V.","year":"1995","unstructured":"V. Choppella and C. T. Haynes . Diagnosis of ill-typed programs. Technical report , Indiana University , December 1995 . V. Choppella and C. T. Haynes. Diagnosis of ill-typed programs. Technical report, Indiana University, December 1995."},{"key":"e_1_3_2_1_8_1","unstructured":"EasyOCaml. EasyOCaml. http:\/\/easyocaml.forge. ocamlcore.org.  EasyOCaml. EasyOCaml. http:\/\/easyocaml.forge. ocamlcore.org."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1186632.1186635"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2004.01.004"},{"key":"e_1_3_2_1_11_1","volume-title":"Helium benchmark programs, (2002\u20132005). Private communication","author":"Hage J.","year":"2014","unstructured":"J. Hage . Helium benchmark programs, (2002\u20132005). Private communication , 2014 . J. Hage. Helium benchmark programs, (2002\u20132005). Private communication, 2014."},{"key":"e_1_3_2_1_12_1","series-title":"Lecture Notes in Computer Science","first-page":"216","volume-title":"Implementation and Application of Functional Languages","author":"Hage J.","unstructured":"J. Hage and B. Heeren . Heuristics for type error discovery and recovery . In Z. Horv\u00e1th, V. Zs\u00b4ok, and A. Butterfield, editors, Implementation and Application of Functional Languages , volume 4449 of Lecture Notes in Computer Science , pages 199\u2013 216 . Springer, 2007. J. Hage and B. Heeren. Heuristics for type error discovery and recovery. In Z. Horv\u00e1th, V. Zs\u00b4ok, and A. Butterfield, editors, Implementation and Application of Functional Languages, volume 4449 of Lecture Notes in Computer Science, pages 199\u2013216. Springer, 2007."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/871895.871902"},{"key":"e_1_3_2_1_15_1","volume-title":"https:\/\/hackage.haskell. org\/package\/helium","year":"2014","unstructured":"Helium 1.8(2014). Helium (ver. 1.8). https:\/\/hackage.haskell. org\/package\/helium , 2014 . Helium 1.8(2014). Helium (ver. 1.8). https:\/\/hackage.haskell. org\/package\/helium, 2014."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/512644.512649"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/996841.996867"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/291891.291892"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/291891.291892"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250783"},{"key":"e_1_3_2_1_21_1","unstructured":"S. Marlow and S. Peyton-Jones. The Glasgow Haskell compiler. http:\/\/www.aosabook.org\/en\/ghc.html 1993.  S. Marlow and S. Peyton-Jones. The Glasgow Haskell compiler. http:\/\/www.aosabook.org\/en\/ghc.html 1993."},{"key":"e_1_3_2_1_22_1","first-page":"154","volume-title":"Implementation of Functional Languages","author":"McAdam B. J.","year":"1998","unstructured":"B. J. McAdam . On the unification of substitutions in type inference . In Implementation of Functional Languages , pages 139\u2013 154 , 1998 . B. J. McAdam. On the unification of substitutions in type inference. In Implementation of Functional Languages, pages 139\u2013154, 1998."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(00)00049-9"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1096-9942(199901\/03)5:1%3C35::AID-TAPO4%3E3.0.CO;2-4"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2660193.2660230"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796806006034"},{"key":"e_1_3_2_1_28_1","volume-title":"MIT Press","author":"Pottier F.","year":"2005","unstructured":"F. Pottier and D. R\u00e9my . The essence of ML type inference. In B. C. Pierce, editor, Advanced topics in types and programming languages, pages 389\u2013489 . MIT Press , 2005 . F. Pottier and D. R\u00e9my. The essence of ML type inference. In B. C. Pierce, editor, Advanced topics in types and programming languages, pages 389\u2013489. MIT Press, 2005."},{"key":"e_1_3_2_1_30_1","volume-title":"http:\/\/www.cs.cornell.edu\/projects\/sherrloc","year":"2014","unstructured":"SHErrLoc. SHErrLoc (Static Holistic Error Locator) tool release (ver 1.0). http:\/\/www.cs.cornell.edu\/projects\/sherrloc , 2014 . SHErrLoc. SHErrLoc (Static Holistic Error Locator) tool release (ver 1.0). http:\/\/www.cs.cornell.edu\/projects\/sherrloc, 2014."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/871895.871903"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/366378.366379"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/1708016.1708023"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796811000098"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/512644.512648"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/2535838.2535870"}],"event":{"name":"PLDI '15: ACM SIGPLAN Conference on Programming Language Design and Implementation","location":"Portland OR USA","acronym":"PLDI '15","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2737924.2738009","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2737924.2738009","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T02:16:22Z","timestamp":1750212982000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2737924.2738009"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,6,3]]},"references-count":33,"alternative-id":["10.1145\/2737924.2738009","10.1145\/2737924"],"URL":"https:\/\/doi.org\/10.1145\/2737924.2738009","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2813885.2738009","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2015,6,3]]},"assertion":[{"value":"2015-06-03","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}