{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:20:30Z","timestamp":1750220430059,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":20,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,9,25]],"date-time":"2019-09-25T00:00:00Z","timestamp":1569369600000},"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":[[2019,9,25]]},"DOI":"10.1145\/3412932.3412939","type":"proceedings-article","created":{"date-parts":[[2021,7,15]],"date-time":"2021-07-15T16:08:45Z","timestamp":1626365325000},"page":"1-12","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Type debugging with counter-factual type error messages using an existing type checker"],"prefix":"10.1145","author":[{"given":"Kanae","family":"Tsushima","sequence":"first","affiliation":[{"name":"National Institute of Informatics, Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Olaf","family":"Chitil","sequence":"additional","affiliation":[{"name":"University of Kent, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joanna","family":"Sharrad","sequence":"additional","affiliation":[{"name":"University of Kent, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2021,7,15]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"There is hope for your type errors,\" IFL","author":"Bra\u00dfel B.","year":"2004","unstructured":"Bra\u00dfel , B. \"Typehope : There is hope for your type errors,\" IFL 2004 . Bra\u00dfel, B. \"Typehope: There is hope for your type errors,\" IFL 2004."},{"key":"e_1_3_2_1_2_1","volume-title":"POPL","author":"Chen S.","year":"2014","unstructured":"Chen , S. , M. Erwig . \"Counter-Factual Typing for Debugging Type Errors,\" POPL 2014 , ACM. Chen, S., M. Erwig. \"Counter-Factual Typing for Debugging Type Errors,\" POPL 2014, ACM."},{"key":"e_1_3_2_1_3_1","first-page":"35","volume-title":"FLOPS","author":"Chen S.","year":"2014","unstructured":"Chen , S. , M. Erwig . \"Guided Type Debugging,\" FLOPS 2014 , pp. 35 -- 51 . Chen, S., M. Erwig. \"Guided Type Debugging,\" FLOPS 2014, pp. 35--51."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1145\/507635.507659","volume-title":"ICFP","author":"Chitil O.","year":"2001","unstructured":"Chitil , O. \"Compositional Explanation of Types and Algorithmic Debugging of Type Errors,\" ICFP 2001 , ACM, pp. 193 -- 204 . Chitil, O. \"Compositional Explanation of Types and Algorithmic Debugging of Type Errors,\" ICFP 2001, ACM, pp. 193--204."},{"key":"e_1_3_2_1_5_1","first-page":"207","volume-title":"ACM","author":"Damas L.","unstructured":"Damas , L. , R. Milner . \"Principal type-schemes for functional programs,\" POPL 1982 , ACM , pp. 207 -- 212 . Damas, L., R. Milner. \"Principal type-schemes for functional programs,\" POPL 1982, ACM, pp. 207--212."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"crossref","unstructured":"Haack C. J. B. Wells. \"Type Error Slicing in Implicitly Typed Higher-Order Languages \" Science of Computer Programming - Special issue on 12th European symposium on programming (ESOP'03) Volume 50 Issue 1-3 (2004).  Haack C. J. B. Wells. \"Type Error Slicing in Implicitly Typed Higher-Order Languages \" Science of Computer Programming - Special issue on 12th European symposium on programming (ESOP'03) Volume 50 Issue 1-3 (2004).","DOI":"10.1016\/j.scico.2004.01.004"},{"key":"e_1_3_2_1_7_1","first-page":"199","volume-title":"Heuristics for Type Error Discovery and Recovery,\" IFL","author":"Hage J.","year":"2007","unstructured":"Hage , J. , and B. Heeren . \" Heuristics for Type Error Discovery and Recovery,\" IFL 2007 , LNCS 4449, pp. 199 -- 216 . Hage, J., and B. Heeren. \"Heuristics for Type Error Discovery and Recovery,\" IFL 2007, LNCS 4449, pp. 199--216."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"crossref","first-page":"62","DOI":"10.1145\/871895.871902","volume-title":"Workshop on Haskell","author":"Heeren B.","year":"2003","unstructured":"Heeren , B. , D. Leijen ., J. Hage . \"Helium, for Learning Haskell,\" Workshop on Haskell 2003 , ACM, pp. 62 -- 72 . Heeren, B., D. Leijen., J. Hage. \"Helium, for Learning Haskell,\" Workshop on Haskell 2003, ACM, pp. 62--72."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"crossref","first-page":"707","DOI":"10.1145\/291891.291892","article-title":"Proofs about a Folklore let-polymorphic Type Inference Algorithm","author":"Lee O.","year":"1998","unstructured":"Lee , O. , K. Yi. \" Proofs about a Folklore let-polymorphic Type Inference Algorithm ,\" ACM Transactions on Programming Languages and Systems , pp. 707 -- 723 ( 1998 ). Lee, O., K. Yi. \"Proofs about a Folklore let-polymorphic Type Inference Algorithm,\" ACM Transactions on Programming Languages and Systems, pp. 707--723 (1998).","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"e_1_3_2_1_10_1","first-page":"425","article-title":"Searching for Type-Error Messages","author":"Lerner B. S.","year":"2007","unstructured":"Lerner , B. S. , M. Flower , D. Grossman , C. Chambers . \" Searching for Type-Error Messages ,\" PLDI 2007 , pp. 425 -- 434 . Lerner, B. S., M. Flower, D. Grossman, C. Chambers. \"Searching for Type-Error Messages,\" PLDI 2007, pp. 425--434.","journal-title":"PLDI"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2015.04.012"},{"key":"e_1_3_2_1_12_1","first-page":"1","article-title":"Constraint Free Type Error Slicing","author":"Schilling T.","year":"2011","unstructured":"Schilling , T. \" Constraint Free Type Error Slicing ,\" TFP 2011 , pp. 1 -- 16 . Schilling, T. \"Constraint Free Type Error Slicing,\" TFP 2011, pp. 1--16.","journal-title":"TFP"},{"key":"e_1_3_2_1_13_1","first-page":"13","article-title":"Delta Debugging Type Errors with a Blackbox Compiler","author":"Sharrad J.","year":"2018","unstructured":"Sharrad , J. , O. Chitil and M. Wang . \" Delta Debugging Type Errors with a Blackbox Compiler ,\" IFL 2018 , pp. 13 -- 24 . Sharrad, J., O. Chitil and M. Wang. \"Delta Debugging Type Errors with a Blackbox Compiler,\" IFL 2018, pp. 13--24.","journal-title":"IFL"},{"key":"e_1_3_2_1_14_1","first-page":"72","volume-title":"Proceedings of the 2003 ACM SIGPLAN workshop on Haskell (Haskell'03)","author":"Stuckey P. J.","unstructured":"Stuckey , P. J. , M. Sulzmann , J. Wazny . \"Interactive type debugging in Haskell,\" Workshop on Haskell 2003, ACM , Proceedings of the 2003 ACM SIGPLAN workshop on Haskell (Haskell'03) , pp. 72 -- 83 . Stuckey, P. J., M. Sulzmann, J. Wazny. \"Interactive type debugging in Haskell,\" Workshop on Haskell 2003, ACM, Proceedings of the 2003 ACM SIGPLAN workshop on Haskell (Haskell'03), pp. 72--83."},{"key":"e_1_3_2_1_15_1","first-page":"80","volume-title":"ACM","author":"Stuckey P. J.","unstructured":"Stuckey , P. J. , M. Sulzmann , J. Wazny . \"Improving type error diagnosis,\" Workshop on Haskell 2004 , ACM , pp. 80 -- 91 . Stuckey, P. J., M. Sulzmann, J. Wazny. \"Improving type error diagnosis,\" Workshop on Haskell 2004, ACM, pp. 80--91."},{"key":"e_1_3_2_1_16_1","first-page":"1","volume-title":"APLAS","author":"Stuckey P. J.","year":"2006","unstructured":"Stuckey , P. J. , M. Sulzmann , J. Wazny . \"Type Processing by Constraint Reasoning,\" APLAS 2006 , pp. 1 -- 25 . Stuckey, P. J., M. Sulzmann, J. Wazny. \"Type Processing by Constraint Reasoning,\" APLAS 2006, pp. 1--25."},{"key":"e_1_3_2_1_17_1","first-page":"190","article-title":"An Embedded Type Debugger","author":"Tsushima K.","year":"2012","unstructured":"Tsushima , K. , K. Asai . \" An Embedded Type Debugger ,\" IFL 2012 , pp. 190 -- 206 . Tsushima, K., K. Asai. \"An Embedded Type Debugger,\" IFL 2012, pp. 190--206.","journal-title":"IFL"},{"issue":"4","key":"e_1_3_2_1_18_1","first-page":"131","article-title":"A weighted type-error slicer (in Japanese)","volume":"31","author":"Tsushima K.","year":"2014","unstructured":"Tsushima , K. , and K. Asai . \" A weighted type-error slicer (in Japanese) ,\" Journal of Computer Software , Vol. 31 , No. 4 , pp. 131 -- 148 ( 2014 ). Tsushima, K., and K. Asai. \"A weighted type-error slicer (in Japanese),\" Journal of Computer Software, Vol. 31, No. 4, pp. 131--148 (2014).","journal-title":"Journal of Computer Software"},{"key":"e_1_3_2_1_19_1","first-page":"38","volume-title":"POPL","author":"Wand M.","year":"1986","unstructured":"Wand , M. \"Finding the Source of Type Errors,\" POPL 1986 , ACM, pp. 38 -- 43 . Wand, M. \"Finding the Source of Type Errors,\" POPL 1986, ACM, pp. 38--43."},{"key":"e_1_3_2_1_20_1","first-page":"71","article-title":"Improved Type Error Reporting","author":"Yang J.","year":"2000","unstructured":"Yang , J. , G. Michaelson , P. Trinder , J. B. Wells . \" Improved Type Error Reporting ,\" IFL 2000 , pp. 71 -- 86 . Yang, J., G. Michaelson, P. Trinder, J. B. Wells. \"Improved Type Error Reporting,\" IFL 2000, pp. 71--86.","journal-title":"IFL"}],"event":{"name":"IFL '19: Implementation and Application of Functional Languages","acronym":"IFL '19","location":"Singapore Singapore"},"container-title":["Proceedings of the 31st Symposium on Implementation and Application of Functional Languages"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3412932.3412939","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3412932.3412939","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:47:02Z","timestamp":1750193222000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3412932.3412939"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,9,25]]},"references-count":20,"alternative-id":["10.1145\/3412932.3412939","10.1145\/3412932"],"URL":"https:\/\/doi.org\/10.1145\/3412932.3412939","relation":{},"subject":[],"published":{"date-parts":[[2019,9,25]]},"assertion":[{"value":"2021-07-15","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}