{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,9]],"date-time":"2025-10-09T20:11:35Z","timestamp":1760040695988,"version":"build-2065373602"},"publisher-location":"New York, NY, USA","reference-count":15,"publisher":"ACM","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":[[2025,10,9]]},"DOI":"10.1145\/3759164.3759346","type":"proceedings-article","created":{"date-parts":[[2025,10,9]],"date-time":"2025-10-09T19:17:47Z","timestamp":1760037467000},"page":"17-29","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["The Calculated Typer (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-0003-1600-8261","authenticated-orcid":false,"given":"Patrick","family":"Bahr","sequence":"additional","affiliation":[{"name":"IT University of Copenhagen, Copenhagen, Denmark"}]},{"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"}]}],"member":"320","published-online":{"date-parts":[[2025,10,9]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Program Construction: Calculating Implementations from Specifications","author":"Backhouse Roland","year":"2003","unstructured":"Roland Backhouse. 2003. Program Construction: Calculating Implementations from Specifications. John Wiley and Sons, Inc.."},{"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","volume-title":"Algebra and Coalgebra in Computer Science","author":"Bauer Andrej","unstructured":"Andrej Bauer and Matija Pretnar. 2013. An Effect System for Algebraic Effects and Handlers. In Algebra and Coalgebra in Computer Science. Springer Berlin Heidelberg."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/263699.263744"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","unstructured":"Zac Garby Patrick Bahr and Graham Hutton. 2025. Haskell and Agda code for \u201cThe Calculated Typer\u201d. https:\/\/doi.org\/10.5281\/zenodo.16751640 10.5281\/zenodo.16751640","DOI":"10.5281\/zenodo.16751640"},{"key":"e_1_3_2_1_7_1","volume-title":"Exception Handling: Issues and a Proposed Notation. Commun. ACM, 18, 12","author":"Goodenough John B.","year":"1975","unstructured":"John B. Goodenough. 1975. Exception Handling: Issues and a Proposed Notation. Commun. ACM, 18, 12 (1975)."},{"key":"e_1_3_2_1_8_1","volume-title":"Steele","author":"Gosling James","year":"1996","unstructured":"James Gosling, Bill Joy, and Guy L. Steele. 1996. The Java Language Specification. Addison-Wesley Longman Publishing."},{"key":"e_1_3_2_1_9_1","article-title":"Exception Handling in CLU","volume":"5","author":"Liskov Barbara H.","year":"1979","unstructured":"Barbara H. Liskov and Alan Snyder. 1979. Exception Handling in CLU. IEEE Transactions on Software Engineering, 5, 6 (1979).","journal-title":"IEEE Transactions on Software Engineering"},{"key":"e_1_3_2_1_10_1","unstructured":"Simon Marlow et al. 2010. Haskell 2010 Language Report. Available online at https:\/\/www.haskell.org"},{"key":"e_1_3_2_1_11_1","unstructured":"Erik Meijer. 1992. Calculating Compilers. Katholieke Universiteit Nijmegen."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/3540543961_7"},{"key":"e_1_3_2_1_13_1","volume-title":"Principles of Program Analysis","author":"Nielson Flemming","unstructured":"Flemming Nielson, Hanne Nielson, and Chris Hankin. 1999. Principles of Program Analysis. Springer."},{"key":"e_1_3_2_1_14_1","volume-title":"Types and Programming Languages","author":"Pierce Benjamin C.","unstructured":"Benjamin C. Pierce. 2002. Types and Programming Languages. The MIT Press."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00590-9_7"}],"event":{"name":"Haskell '25: 18th ACM SIGPLAN International Haskell Symposium","location":"Singapore Singapore","acronym":"Haskell '25","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGAda ACM Special Interest Group on Ada Programming Language"]},"container-title":["Proceedings of the 18th ACM SIGPLAN International Haskell Symposium"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3759164.3759346","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,9]],"date-time":"2025-10-09T19:29:16Z","timestamp":1760038156000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3759164.3759346"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,10,9]]},"references-count":15,"alternative-id":["10.1145\/3759164.3759346","10.1145\/3759164"],"URL":"https:\/\/doi.org\/10.1145\/3759164.3759346","relation":{},"subject":[],"published":{"date-parts":[[2025,10,9]]},"assertion":[{"value":"2025-10-09","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}