{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:19:28Z","timestamp":1750220368405,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":27,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,9,2]],"date-time":"2020-09-02T00:00:00Z","timestamp":1599004800000},"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":[[2020,9,2]]},"DOI":"10.1145\/3462172.3462189","type":"proceedings-article","created":{"date-parts":[[2021,7,23]],"date-time":"2021-07-23T22:06:52Z","timestamp":1627078012000},"page":"33-43","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Heuristics-based Type Error Diagnosis for Haskell"],"prefix":"10.1145","author":[{"given":"Joris","family":"Burgers","sequence":"first","affiliation":[{"name":"Dept. of Information and Computing Sciences, Utrecht University, The Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jurriaan","family":"Hage","sequence":"additional","affiliation":[{"name":"Dept. of Information and Computing Sciences, Utrecht University, The Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alejandro","family":"Serrano","sequence":"additional","affiliation":[{"name":"47 Degrees\/Utrecht University, The Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2021,7,23]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Joris Burgers. 2019. Type error diagnosis for OutsideIn(X) in Helium. https:\/\/dspace.library.uu.nl\/handle\/1874\/382127.  Joris Burgers. 2019. Type error diagnosis for OutsideIn(X) in Helium. https:\/\/dspace.library.uu.nl\/handle\/1874\/382127."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2535838.2535863"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/507635.507659"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/582153.582176"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jvlc.2005.04.004"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/888251.888256"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-74130-5_12"},{"key":"e_1_3_2_1_8_1","volume-title":"Strategies for Solving Constraints in Type and Effect Systems. Electron. Notes Theor. Comput. Sci. 236 (April","author":"Hage Jurriaan","year":"2009","unstructured":"Jurriaan Hage and Bastiaan Heeren . 2009. Strategies for Solving Constraints in Type and Effect Systems. Electron. Notes Theor. Comput. Sci. 236 (April 2009 ), 163\u2013183. https:\/\/doi.org\/10.1016\/j.entcs.2009.03.021 10.1016\/j.entcs.2009.03.021 Jurriaan Hage and Bastiaan Heeren. 2009. Strategies for Solving Constraints in Type and Effect Systems. Electron. Notes Theor. Comput. Sci. 236 (April 2009), 163\u2013183. https:\/\/doi.org\/10.1016\/j.entcs.2009.03.021"},{"key":"e_1_3_2_1_9_1","volume-title":"Workshop Proceedings of Immediate Applications of Constraint Programming, M.-C. Silaghi and M.\u00a0Zanker (Eds.). Cork, 59 \u2013 80","author":"Heeren Bastiaan","year":"2003","unstructured":"Bastiaan Heeren , Jurriaan Hage , and S.\u00a0 Doaitse Swierstra . 2003 . Constraint based type inferencing in Helium . In Workshop Proceedings of Immediate Applications of Constraint Programming, M.-C. Silaghi and M.\u00a0Zanker (Eds.). Cork, 59 \u2013 80 . Bastiaan Heeren, Jurriaan Hage, and S.\u00a0Doaitse Swierstra. 2003. Constraint based type inferencing in Helium. In Workshop Proceedings of Immediate Applications of Constraint Programming, M.-C. Silaghi and M.\u00a0Zanker (Eds.). Cork, 59 \u2013 80."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/291891.291892"},{"key":"e_1_3_2_1_11_1","volume-title":"Proceedings of the 5th ACM SIGPLAN Workshop on Types in Language Design and Implementation","author":"Tim Sheard Lin","year":"2010","unstructured":"Chuan-kai Lin and Tim Sheard . 2010 . Pointwise Generalized Algebraic Data Types . In Proceedings of the 5th ACM SIGPLAN Workshop on Types in Language Design and Implementation ( Madrid, Spain) (TLDI \u201910). ACM, New York, NY, USA, 51\u201362. https:\/\/doi.org\/10.1145\/1708016.1708024 10.1145\/1708016.1708024 Chuan-kai Lin and Tim Sheard. 2010. Pointwise Generalized Algebraic Data Types. In Proceedings of the 5th ACM SIGPLAN Workshop on Types in Language Design and Implementation (Madrid, Spain) (TLDI \u201910). ACM, New York, NY, USA, 51\u201362. https:\/\/doi.org\/10.1145\/1708016.1708024"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2784731.2784765"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/3064899.3064907"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2489837.2489845"},{"volume-title":"Advanced Topics in Types and Programming Languages, Benjamin\u00a0C","author":"Pottier Fran\u00e7ois","key":"e_1_3_2_1_15_1","unstructured":"Fran\u00e7ois Pottier and Didier R\u00e9my . 2005. The Essence of ML Type Inference . In Advanced Topics in Types and Programming Languages, Benjamin\u00a0C . Pierce (Ed.). MIT Press , Chapter\u00a010, 389\u2013489. Fran\u00e7ois Pottier and Didier R\u00e9my. 2005. The Essence of ML Type Inference. In Advanced Topics in Types and Programming Languages, Benjamin\u00a0C. Pierce (Ed.). MIT Press, Chapter\u00a010, 389\u2013489."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2016.07.013"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-49498-1_26"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/3192366.3192389"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1180475.1180476"},{"volume-title":"Type Processing by Constraint Reasoning","author":"Stuckey J.","key":"e_1_3_2_1_21_1","unstructured":"Peter\u00a0 J. Stuckey , Martin Sulzmann , and Jeremy Wazny . 2006. Type Processing by Constraint Reasoning . In Programming Languages and Systems, Naoki Kobayashi (Ed.). Springer Berlin Heidelberg , Berlin, Heidelberg , 1\u201325. Peter\u00a0J. Stuckey, Martin Sulzmann, and Jeremy Wazny. 2006. Type Processing by Constraint Reasoning. In Programming Languages and Systems, Naoki Kobayashi (Ed.). Springer Berlin Heidelberg, Berlin, Heidelberg, 1\u201325."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796806006137"},{"key":"e_1_3_2_1_23_1","unstructured":"Martin Sulzmann Tom Schrijvers and Peter\u00a0J Stuckey. 2008. Type inference for GADTs via Herbrand constraint abduction. https:\/\/lirias.kuleuven.be\/retrieve\/10888  Martin Sulzmann Tom Schrijvers and Peter\u00a0J Stuckey. 2008. Type inference for GADTs via Herbrand constraint abduction. https:\/\/lirias.kuleuven.be\/retrieve\/10888"},{"volume-title":"Implementation and Application of Functional Languages","author":"Tsushima Kanae","key":"e_1_3_2_1_24_1","unstructured":"Kanae Tsushima and Kenichi Asai . 2013. An Embedded Type Debugger . In Implementation and Application of Functional Languages , Ralf Hinze (Ed.). Springer Berlin Heidelberg, Berlin , Heidelberg , 190\u2013206. Kanae Tsushima and Kenichi Asai. 2013. An Embedded Type Debugger. In Implementation and Application of Functional Languages, Ralf Hinze (Ed.). Springer Berlin Heidelberg, Berlin, Heidelberg, 190\u2013206."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796811000098"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2014.03.011"},{"key":"e_1_3_2_1_27_1","volume-title":"Improved Type Error Reporting. In In Proceedings of 12th International Workshop on Implementation of Functional Languages. 71\u201386","author":"Yang Jun","year":"2000","unstructured":"Jun Yang , Greg Michaelson , Phil Trinder , and J.\u00a0 B. Wells . 2000 . Improved Type Error Reporting. In In Proceedings of 12th International Workshop on Implementation of Functional Languages. 71\u201386 . Jun Yang, Greg Michaelson, Phil Trinder, and J.\u00a0B. Wells. 2000. Improved Type Error Reporting. In In Proceedings of 12th International Workshop on Implementation of Functional Languages. 71\u201386."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2738009"}],"event":{"name":"IFL 2020: 32nd Symposium on Implementation and Application of Functional Languages","acronym":"IFL 2020","location":"Canterbury United Kingdom"},"container-title":["Proceedings of the 32nd Symposium on Implementation and Application of Functional Languages"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3462172.3462189","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3462172.3462189","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:17:34Z","timestamp":1750191454000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3462172.3462189"}},"subtitle":["The case of GADTs and local reasoning"],"short-title":[],"issued":{"date-parts":[[2020,9,2]]},"references-count":27,"alternative-id":["10.1145\/3462172.3462189","10.1145\/3462172"],"URL":"https:\/\/doi.org\/10.1145\/3462172.3462189","relation":{},"subject":[],"published":{"date-parts":[[2020,9,2]]},"assertion":[{"value":"2021-07-23","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}