{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,21]],"date-time":"2025-06-21T04:10:01Z","timestamp":1750479001552,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":23,"publisher":"ACM","license":[{"start":{"date-parts":[[2004,9,22]],"date-time":"2004-09-22T00:00:00Z","timestamp":1095811200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2004,9,22]]},"DOI":"10.1145\/1017472.1017486","type":"proceedings-article","created":{"date-parts":[[2004,10,7]],"date-time":"2004-10-07T17:39:48Z","timestamp":1097170788000},"page":"80-91","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":24,"title":["Improving type error diagnosis"],"prefix":"10.1145","author":[{"given":"Peter J.","family":"Stuckey","sequence":"first","affiliation":[{"name":"University of Melbourne, Australia"}]},{"given":"Martin","family":"Sulzmann","sequence":"additional","affiliation":[{"name":"University of Singapore, Singapore"}]},{"given":"Jeremy","family":"Wazny","sequence":"additional","affiliation":[{"name":"University of Melbourne, Australia"}]}],"member":"320","published-online":{"date-parts":[[2004,9,22]]},"reference":[{"key":"e_1_3_2_1_1_1","series-title":"LNCS","first-page":"252","volume-title":"Proc. of CP'97","author":"Abdennadher S.","year":"1997","unstructured":"S. Abdennadher . Operational semantics and confluence of constraint propagation rules . In Proc. of CP'97 , volume 1330 of LNCS , pages 252 -- 266 . Springer-Verlag , 1997 .]] S. Abdennadher. Operational semantics and confluence of constraint propagation rules. In Proc. of CP'97, volume 1330 of LNCS, pages 252--266. Springer-Verlag, 1997.]]"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/507635.507659"},{"key":"e_1_3_2_1_3_1","volume-title":"Sound and decidable type inference for functional dependencies","author":"Duck G.J.","year":"2004","unstructured":"G.J. Duck , S. Peyton-Jones , P.J. Stuckey , and M. Sulzmann . Sound and decidable type inference for functional dependencies , 2004 . to appear.]] G.J. Duck, S. Peyton-Jones, P.J. Stuckey, and M. Sulzmann. Sound and decidable type inference for functional dependencies, 2004. to appear.]]"},{"key":"e_1_3_2_1_4_1","series-title":"LNCS","volume-title":"Constraint Programming: Basics and Trends","author":"Fr\u00fchwirth T.","year":"1995","unstructured":"T. Fr\u00fchwirth . Constraint handling rules . In Constraint Programming: Basics and Trends , volume 910 of LNCS . Springer-Verlag , 1995 .]] T. Fr\u00fchwirth. Constraint handling rules. In Constraint Programming: Basics and Trends, volume 910 of LNCS. Springer-Verlag, 1995.]]"},{"key":"e_1_3_2_1_5_1","unstructured":"Glasgow haskell compiler home page. http:\/\/www.haskell.org\/ghc\/.]]  Glasgow haskell compiler home page. http:\/\/www.haskell.org\/ghc\/.]]"},{"key":"e_1_3_2_1_6_1","series-title":"LNCS","first-page":"284","volume-title":"Proc. of ESOP'03","author":"Haack C.","year":"2003","unstructured":"C. Haack and J. B. Wells . Type error slicing in implicitly typed, higher-order languages . In Proc. of ESOP'03 , volume 2618 of LNCS , pages 284 -- 301 . Springer-Verlag , 2003 .]] C. Haack and J. B. Wells. Type error slicing in implicitly typed, higher-order languages. In Proc. of ESOP'03, volume 2618 of LNCS, pages 284--301. Springer-Verlag, 2003.]]"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/944705.944707"},{"key":"e_1_3_2_1_8_1","unstructured":"Helium home page. http:\/\/www.cs.uu.nl\/~afie\/helium\/.]]  Helium home page. http:\/\/www.cs.uu.nl\/~afie\/helium\/.]]"},{"key":"e_1_3_2_1_9_1","first-page":"63","volume-title":"Proceedings of 12th International Workshop on Implementation of Functional Languages","author":"Huch F.","year":"2000","unstructured":"F. Huch , O. Chitil , and A. Simon . Typeview: a tool for understanding type errors. In M. Mohnen and P. Koopman, editors , Proceedings of 12th International Workshop on Implementation of Functional Languages , pages 63 -- 69 . Aachner Informatik-Berichte ,, 2000 .]] F. Huch, O. Chitil, and A. Simon. Typeview: a tool for understanding type errors. In M. Mohnen and P. Koopman, editors, Proceedings of 12th International Workshop on Implementation of Functional Languages, pages 63--69. Aachner Informatik-Berichte,, 2000.]]"},{"key":"e_1_3_2_1_10_1","unstructured":"Hugs home page. http:\/\/www.haskell.org\/hugs\/.]]  Hugs home page. http:\/\/www.haskell.org\/hugs\/.]]"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/645394.651909"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796806006034"},{"key":"e_1_3_2_1_13_1","volume-title":"A generalized let-polymorphic type inference algorithm. Technical Memorandum ROPAS-2000-5","author":"Lee O.","year":"2000","unstructured":"O. Lee and K. Yi . A generalized let-polymorphic type inference algorithm. Technical Memorandum ROPAS-2000-5 , National Creative Research Center, Korea Advanced Institute of Science and Technology , March 2000 .]] O. Lee and K. Yi. A generalized let-polymorphic type inference algorithm. Technical Memorandum ROPAS-2000-5, National Creative Research Center, Korea Advanced Institute of Science and Technology, March 2000.]]"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/5625.001.0001"},{"key":"e_1_3_2_1_15_1","first-page":"49","volume-title":"Trends in Functional Programming","author":"McAdam B.J.","year":"2000","unstructured":"B.J. McAdam . Generalising techniques for type debugging . In Trends in Functional Programming , pages 49 -- 57 , March 2000 .]] B.J. McAdam. Generalising techniques for type debugging. In Trends in Functional Programming, pages 49--57, March 2000.]]"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/944705.944708"},{"key":"e_1_3_2_1_17_1","unstructured":"nhc98 home page. haskell.org\/nhc98\/.]]  nhc98 home page. haskell.org\/nhc98\/.]]"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/581478.581495"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/871895.871903"},{"key":"e_1_3_2_1_20_1","unstructured":"M. Sulzmann and J. Wazny. Chameleon. http:\/\/www.comp.nus.edu.sg\/~sulzmann\/chameleon.]]  M. Sulzmann and J. Wazny. Chameleon. http:\/\/www.comp.nus.edu.sg\/~sulzmann\/chameleon.]]"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/512644.512648"},{"key":"e_1_3_2_1_22_1","volume-title":"Explaining polymorphic types","author":"Yang J.","year":"2001","unstructured":"J. Yang , G. Michaelson , and P. Trinder . Explaining polymorphic types , 2001 .]] J. Yang, G. Michaelson, and P. Trinder. Explaining polymorphic types, 2001.]]"},{"key":"e_1_3_2_1_23_1","first-page":"71","volume-title":"Proceedings of 12th International Workshop on Implementation of Functional Languages","author":"Yang J.","year":"2000","unstructured":"J. Yang , J. Wells , P. Trinder , and G. Michaelson . Improved type error reporting . In Proceedings of 12th International Workshop on Implementation of Functional Languages , pages 71 -- 86 , 2000 .]] J. Yang, J. Wells, P. Trinder, and G. Michaelson. Improved type error reporting. In Proceedings of 12th International Workshop on Implementation of Functional Languages, pages 71--86, 2000.]]"}],"event":{"name":"HW04: Haskell Workshop 2004","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"],"location":"Snowbird Utah USA","acronym":"HW04"},"container-title":["Proceedings of the 2004 ACM SIGPLAN workshop on Haskell"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1017472.1017486","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1017472.1017486","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T16:24:59Z","timestamp":1750263899000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1017472.1017486"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004,9,22]]},"references-count":23,"alternative-id":["10.1145\/1017472.1017486","10.1145\/1017472"],"URL":"https:\/\/doi.org\/10.1145\/1017472.1017486","relation":{},"subject":[],"published":{"date-parts":[[2004,9,22]]},"assertion":[{"value":"2004-09-22","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}