{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T12:09:31Z","timestamp":1763467771857},"publisher-location":"New York, NY, USA","reference-count":17,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2006,9,16]]},"DOI":"10.1145\/1159876.1159887","type":"proceedings-article","created":{"date-parts":[[2006,10,18]],"date-time":"2006-10-18T22:04:00Z","timestamp":1161209040000},"page":"63-73","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":19,"title":["Seminal"],"prefix":"10.1145","author":[{"given":"Benjamin","family":"Lerner","sequence":"first","affiliation":[{"name":"University of Washington"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dan","family":"Grossman","sequence":"additional","affiliation":[{"name":"University of Washington"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Craig","family":"Chambers","sequence":"additional","affiliation":[{"name":"University of Washington"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2006,9,16]]},"reference":[{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/176454.176460"},{"key":"e_1_3_2_1_3_1","volume-title":"Debugging type errors (full version). Technical report","author":"Bernstein Karen","year":"1995","unstructured":"Karen Bernstein and Eugene Stark . Debugging type errors (full version). Technical report , State University of New York at Stony Brook, 1995 . Karen Bernstein and Eugene Stark. Debugging type errors (full version). Technical report, State University of New York at Stony Brook, 1995."},{"key":"e_1_3_2_1_4_1","volume-title":"Tree edit distance, alignment distance and inclusion. Technical report","author":"Bille Philip","year":"2003","unstructured":"Philip Bille . Tree edit distance, alignment distance and inclusion. Technical report , IT University of Copenhagen , April 2003 . Philip Bille. Tree edit distance, alignment distance and inclusion. Technical report, IT University of Copenhagen, April 2003."},{"key":"e_1_3_2_1_5_1","first-page":"63","volume-title":"12th International Workshop on Implementation of Functional Languages, Aachner Informatik-Berichte","author":"Chitil Olaf","year":"2000","unstructured":"Olaf Chitil , Frank Huch , and Axel Simon . Typeview : a tool for understanding type errors. In M. Mohnen and P. Koopman, editors , 12th International Workshop on Implementation of Functional Languages, Aachner Informatik-Berichte , pages 63 -- 69 , 2000 . Olaf Chitil, Frank Huch, and Axel Simon. Typeview: a tool for understanding type errors. In M. Mohnen and P. Koopman, editors, 12th International Workshop on Implementation of Functional Languages, Aachner Informatik-Berichte, pages 63--69, 2000."},{"key":"e_1_3_2_1_7_1","first-page":"49","volume-title":"ACM Workshop on ML","author":"Duggan Dominic","year":"1998","unstructured":"Dominic Duggan . Correct type explanation . In ACM Workshop on ML , pages 49 -- 58 , 1998 . Dominic Duggan. Correct type explanation. In ACM Workshop on ML, pages 49--58, 1998."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(95)00007-0"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.5555\/646834.708048"},{"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_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/512644.512649"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/45.4.436"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/291891.291892"},{"key":"e_1_3_2_1_15_1","series-title":"LNCS","first-page":"139","volume-title":"Implementation of Functional Languages (IFL~'98)","author":"McAdam Bruce J.","year":"1998","unstructured":"Bruce J. McAdam . On the unification of substitutions in type inference . In Kevin Hammond, Anthony J.T. Davie, and Chris Clack, editors, Implementation of Functional Languages (IFL~'98) , volume 1595 of LNCS , pages 139 -- 154 . Springer-Verlag , September 1998 . Bruce J. McAdam. On the unification of substitutions in type inference. In Kevin Hammond, Anthony J.T. Davie, and Chris Clack, editors, Implementation of Functional Languages (IFL~'98), volume 1595 of LNCS, pages 139--154. Springer-Verlag, September 1998."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/12.545972"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/871895.871903"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/366378.366379"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/321796.321811"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/512644.512648"}],"event":{"name":"ICFP06: ACM SIGPLAN International Conference on Functional Programming","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"],"location":"Portland Oregon USA","acronym":"ICFP06"},"container-title":["Proceedings of the 2006 workshop on ML"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1159876.1159887","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,12]],"date-time":"2023-01-12T08:48:55Z","timestamp":1673513335000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1159876.1159887"}},"subtitle":["searching for ML type-error messages"],"short-title":[],"issued":{"date-parts":[[2006,9,16]]},"references-count":17,"alternative-id":["10.1145\/1159876.1159887","10.1145\/1159876"],"URL":"https:\/\/doi.org\/10.1145\/1159876.1159887","relation":{},"subject":[],"published":{"date-parts":[[2006,9,16]]},"assertion":[{"value":"2006-09-16","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}