{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,5]],"date-time":"2026-02-05T06:58:17Z","timestamp":1770274697299,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":60,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,8,18]],"date-time":"2021-08-18T00:00:00Z","timestamp":1629244800000},"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":[[2021,8,18]]},"DOI":"10.1145\/3471874.3472982","type":"proceedings-article","created":{"date-parts":[[2021,8,19]],"date-time":"2021-08-19T02:11:59Z","timestamp":1629339119000},"page":"41-55","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Haskell\u207b\u00b9: automatic function inversion in Haskell"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-7905-3804","authenticated-orcid":false,"given":"Finn","family":"Teegen","sequence":"first","affiliation":[{"name":"University of Kiel, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5795-6308","authenticated-orcid":false,"given":"Kai-Oliver","family":"Prott","sequence":"additional","affiliation":[{"name":"University of Kiel, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1288-2330","authenticated-orcid":false,"given":"Niels","family":"Bunkenburg","sequence":"additional","affiliation":[{"name":"University of Kiel, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2021,8,18]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1088348.1088355"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/10722010_13"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-70881-0_6"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-74130-5_15"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/11680093_2"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1721654.1721675"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78913-0_5"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-22531-4_1"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-45284-0_9"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(05)80544-4"},{"key":"e_1_3_2_1_11_1","volume-title":"Chasing Bottoms. In International Conference on Mathematics of Program Construction (MPC \u201904)","author":"Danielsson Nils Anders","year":"2004","unstructured":"Nils Anders Danielsson and Patrik Jansson . 2004 . Chasing Bottoms. In International Conference on Mathematics of Program Construction (MPC \u201904) . Springer-Verlag, Berlin, Heidelberg. 85\u2013109. Nils Anders Danielsson and Patrik Jansson. 2004. Chasing Bottoms. In International Conference on Mathematics of Program Construction (MPC \u201904). Springer-Verlag, Berlin, Heidelberg. 85\u2013109."},{"key":"e_1_3_2_1_12_1","volume-title":"Sweet Egison: A Haskell Library for Non-Deterministic Pattern Matching.","author":"Egi Satoshi","year":"2020","unstructured":"Satoshi Egi , Akira Kawata , Mayuko Kori , and Hiromi Ogawa . 2020 . Sweet Egison: A Haskell Library for Non-Deterministic Pattern Matching. Satoshi Egi, Akira Kawata, Mayuko Kori, and Hiromi Ogawa. 2020. Sweet Egison: A Haskell Library for Non-Deterministic Pattern Matching."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-02768-1_1"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(05)80540-7"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796811000189"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24754-8_21"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/3408989"},{"key":"e_1_3_2_1_18_1","volume-title":"Proceedings of the 7th Working Conference on Programming Languages (ATPS \u201914","volume":"170","author":"Hanus Michael","year":"2014","unstructured":"Michael Hanus , Bj\u00f6rn Peem\u00f6ller , and Jan Rasmus Tikovsky . 2014 . Integration of Finite Domain Constraints in KiCS2 . In Proceedings of the 7th Working Conference on Programming Languages (ATPS \u201914 , Vol. 1129). CEUR, 151\u2013 170 . Michael Hanus, Bj\u00f6rn Peem\u00f6ller, and Jan Rasmus Tikovsky. 2014. Integration of Finite Domain Constraints in KiCS2. In Proceedings of the 7th Working Conference on Programming Languages (ATPS \u201914, Vol. 1129). CEUR, 151\u2013170."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-46714-2_15"},{"key":"e_1_3_2_1_20_1","volume-title":"Curry: An Integrated Functional Logic Language (Version 0.9.0).","author":"Hanus Michael","year":"2016","unstructured":"Michael Hanus (ed.). 2016 . Curry: An Integrated Functional Logic Language (Version 0.9.0). Michael Hanus (ed.). 2016. Curry: An Integrated Functional Logic Language (Version 0.9.0)."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/800105.803420"},{"key":"e_1_3_2_1_22_1","volume-title":"Proceedings of the 2000 Haskell Workshop (Haskell \u201900)","author":"Hinze Ralf","year":"2000","unstructured":"Ralf Hinze and Simon Peyton Jones . 2000 . Derivable Type Classes . In Proceedings of the 2000 Haskell Workshop (Haskell \u201900) . Ralf Hinze and Simon Peyton Jones. 2000. Derivable Type Classes. In Proceedings of the 2000 Haskell Workshop (Haskell \u201900)."},{"key":"e_1_3_2_1_23_1","volume-title":"Proceedings of the 1999 Haskell Workshop (Haskell \u201999)","author":"Hughes John","year":"1999","unstructured":"John Hughes . 1999 . Restricted Data Types in Haskell . In Proceedings of the 1999 Haskell Workshop (Haskell \u201999) . John Hughes. 1999. Restricted Data Types in Haskell. In Proceedings of the 1999 Haskell Workshop (Haskell \u201999)."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/41625.41635"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/2364506.2364514"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/165180.165190"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-59451-5_4"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796812000263"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/186025.186031"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/199448.199528"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/1291201.1291211"},{"key":"e_1_3_2_1_32_1","unstructured":"Simon Marlow (ed.). 2010. Haskell 2010 Language Report.  Simon Marlow (ed.). 2010. Haskell 2010 Language Report."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-37036-6_6"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/3409000"},{"key":"e_1_3_2_1_35_1","volume-title":"Automata Studies, Annals of Mathematical Studies","author":"McCarthy John","unstructured":"John McCarthy . 1956. The Inversion of Functions Defined by Turing Machines . In Automata Studies, Annals of Mathematical Studies , J. McCarthy C.E. Shannon (Ed.). Princeton University Press , 177\u2013181. John McCarthy. 1956. The Inversion of Functions Defined by Turing Machines. In Automata Studies, Annals of Mathematical Studies, J. McCarthy C.E. Shannon (Ed.). Princeton University Press, 177\u2013181."},{"key":"e_1_3_2_1_36_1","volume-title":"Selected Papers from the 8th International Workshop on Implementation of Functional Languages (IFL \u201996)","author":"Mohnen Markus","unstructured":"Markus Mohnen . 1996. Context Patterns in Haskell . In Selected Papers from the 8th International Workshop on Implementation of Functional Languages (IFL \u201996) . Springer-Verlag , Berlin, Heidelberg . 41\u201357. isbn:3-540-63237-9 Markus Mohnen. 1996. Context Patterns in Haskell. In Selected Papers from the 8th International Workshop on Implementation of Functional Languages (IFL \u201996). Springer-Verlag, Berlin, Heidelberg. 41\u201357. isbn:3-540-63237-9"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250752"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/1291201.1291207"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-32033-3_20"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-12251-4_6"},{"key":"e_1_3_2_1_41_1","volume-title":"The Implementation of Practical Functional Programming Languages","author":"Perry Nigel","unstructured":"Nigel Perry . 1991. The Implementation of Practical Functional Programming Languages . University of London. Nigel Perry. 1991. The Implementation of Practical Functional Programming Languages. University of London."},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/1159803.1159811"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-30936-1_16"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/2976002.2976013"},{"key":"e_1_3_2_1_45_1","volume-title":"Proceedings of the 1985 Symposium on Logic Programming (SLP \u201985)","author":"Reddy Uday S.","year":"1985","unstructured":"Uday S. Reddy . 1985 . Narrowing as the Operational Semantics of Functional Languages . In Proceedings of the 1985 Symposium on Logic Programming (SLP \u201985) . IEEE-CS, Boston, Massachusetts, USA. 138\u2013151. Uday S. Reddy. 1985. Narrowing as the Operational Semantics of Functional Languages. In Proceedings of the 1985 Symposium on Logic Programming (SLP \u201985). IEEE-CS, Boston, Massachusetts, USA. 138\u2013151."},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/1863523.1863525"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/115865.115868"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/1411204.1411215"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/2500365.2500602"},{"key":"e_1_3_2_1_50_1","volume-title":"Proceedings of the 1999 Haskell Workshop (Haskell \u201999)","author":"Seres Silvija","year":"1999","unstructured":"Silvija Seres and Michael Spivey . 1999 . Embedding Prolog in Haskell . In Proceedings of the 1999 Haskell Workshop (Haskell \u201999) . Silvija Seres and Michael Spivey. 1999. Embedding Prolog in Haskell. In Proceedings of the 1999 Haskell Workshop (Haskell \u201999)."},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-61580-6_22"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/581690.581691"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993557"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/2804302.2804314"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-15975-4_33"},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1016\/0141-9331(87)90510-2"},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1145\/41625.41653"},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1145\/91556.91592"},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1145\/75277.75283"},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1145\/2103786.2103795"}],"event":{"name":"ICFP '21: 26th ACM SIGPLAN International Conference on Functional Programming","location":"Virtual Republic of Korea","acronym":"ICFP '21","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 14th ACM SIGPLAN International Symposium on Haskell"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3471874.3472982","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3471874.3472982","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T21:24:49Z","timestamp":1750195489000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3471874.3472982"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,8,18]]},"references-count":60,"alternative-id":["10.1145\/3471874.3472982","10.1145\/3471874"],"URL":"https:\/\/doi.org\/10.1145\/3471874.3472982","relation":{},"subject":[],"published":{"date-parts":[[2021,8,18]]},"assertion":[{"value":"2021-08-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}