{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T05:02:22Z","timestamp":1750309342800,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":18,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,8,28]],"date-time":"2024-08-28T00:00:00Z","timestamp":1724803200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"EPSRC","award":["EP\\\/Y010744\\\/1"],"award-info":[{"award-number":["EP\\\/Y010744\\\/1"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,8,29]]},"DOI":"10.1145\/3677999.3678283","type":"proceedings-article","created":{"date-parts":[[2024,8,28]],"date-time":"2024-08-28T19:13:35Z","timestamp":1724872415000},"page":"109-119","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Calculating Compilers Effectively (Functional Pearl)"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0007-3441-3646","authenticated-orcid":false,"given":"Zac","family":"Garby","sequence":"first","affiliation":[{"name":"University of Nottingham, Nottingham, United Kingdom"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9584-5150","authenticated-orcid":false,"given":"Graham","family":"Hutton","sequence":"additional","affiliation":[{"name":"University of Nottingham, Nottingham, United Kingdom"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1600-8261","authenticated-orcid":false,"given":"Patrick","family":"Bahr","sequence":"additional","affiliation":[{"name":"IT University of Copenhagen, Copenhagen, Denmark"}]}],"member":"320","published-online":{"date-parts":[[2024,8,28]]},"reference":[{"volume-title":"Department of Computer Science","author":"Ager Mads Sig","key":"e_1_3_2_1_1_1","unstructured":"Mads Sig Ager, Dariusz Biernacki, Olivier Danvy, and Jan Midtgaard. 2003. From Interpreter to Compiler and Virtual Machine: A Functional Derivation. BRICS, Department of Computer Science, University of Aarhus."},{"key":"e_1_3_2_1_2_1","volume-title":"Calculating Correct Compilers. Journal of Functional Programming, 25","author":"Bahr Patrick","year":"2015","unstructured":"Patrick Bahr and Graham Hutton. 2015. Calculating Correct Compilers. Journal of Functional Programming, 25 (2015)."},{"key":"e_1_3_2_1_3_1","volume-title":"Calculating Correct Compilers II: Return of the Register Machines. Journal of Functional Programming, 30","author":"Bahr Patrick","year":"2020","unstructured":"Patrick Bahr and Graham Hutton. 2020. Calculating Correct Compilers II: Return of the Register Machines. Journal of Functional Programming, 30 (2020)."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/3607855"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/3110271"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","unstructured":"Zac Garby Graham Hutton and Patrick Bahr. 2024. Code for \u201cCalculating Compilers Effectively\u201d. https:\/\/doi.org\/10.5281\/zenodo.12771956 10.5281\/zenodo.12771956","DOI":"10.5281\/zenodo.12771956"},{"key":"e_1_3_2_1_7_1","volume-title":"The Art, Science, and Engineering of Programming, 6, 2","author":"Gibbons Jeremy","year":"2022","unstructured":"Jeremy Gibbons. 2022. Continuation-Passing Style, Defunctionalization, Accumulations, and Associativity. The Art, Science, and Engineering of Programming, 6, 2 (2022), Article 7."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065944.1065952"},{"key":"e_1_3_2_1_9_1","volume-title":"Programming Language Semantics: It\u2019s Easy As 1,2,3. Journal of Functional Programming, 33","author":"Hutton Graham","year":"2023","unstructured":"Graham Hutton. 2023. Programming Language Semantics: It\u2019s Easy As 1,2,3. Journal of Functional Programming, 33 (2023)."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"crossref","unstructured":"Graham Hutton and Patrick Bahr. 2016. Cutting Out Continuations. In A List of Successes That Can Change the World.","DOI":"10.1007\/978-3-319-30936-1_10"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/581478.581492"},{"key":"e_1_3_2_1_12_1","unstructured":"Erik Meijer. 1992. Calculating Compilers. Ph.D. Dissertation. Katholieke Universiteit Nijmegen."},{"key":"e_1_3_2_1_13_1","unstructured":"Simon Peyton Jones. 2001. Tackling The Awkward Squad: Monadic Input\/Output Concurrency Exceptions and Foreign-Language Calls in Haskell. In Engineering Theories of Software Construction."},{"key":"e_1_3_2_1_14_1","volume-title":"Proceedings of the 31st Conference on the Mathematical Foundations of Programming Semantics.","author":"Pretnar Matija","year":"2015","unstructured":"Matija Pretnar. 2015. An Introduction to Algebraic Effects and Handlers. In Proceedings of the 31st Conference on the Mathematical Foundations of Programming Semantics."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1291201.1291206"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/143165.143169"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"crossref","unstructured":"Philip Wadler. 1995. Monads for Functional Programming. In Advanced Functional Programming.","DOI":"10.1007\/3-540-59451-5_2"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/357172.357179"}],"event":{"name":"Haskell '24: 17th ACM SIGPLAN International Haskell Symposium","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Milan Italy","acronym":"Haskell '24"},"container-title":["Proceedings of the 17th ACM SIGPLAN International Haskell Symposium"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3677999.3678283","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3677999.3678283","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T00:04:28Z","timestamp":1750291468000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3677999.3678283"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,8,28]]},"references-count":18,"alternative-id":["10.1145\/3677999.3678283","10.1145\/3677999"],"URL":"https:\/\/doi.org\/10.1145\/3677999.3678283","relation":{},"subject":[],"published":{"date-parts":[[2024,8,28]]},"assertion":[{"value":"2024-08-28","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}