{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,28]],"date-time":"2025-11-28T21:18:10Z","timestamp":1764364690394,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":6,"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"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,8,29]]},"DOI":"10.1145\/3677999.3678280","type":"proceedings-article","created":{"date-parts":[[2024,8,28]],"date-time":"2024-08-28T19:13:35Z","timestamp":1724872415000},"page":"120-124","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["MicroHs: A Small Compiler for Haskell"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0008-6894-4020","authenticated-orcid":false,"given":"Lennart","family":"Augustsson","sequence":"first","affiliation":[{"name":"Unaffiliated, Goteborg, Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2024,8,28]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Semantically - Declarative Pearl. In Fuji International Symposium on Functional and Logic Programming. https:\/\/api.semanticscholar.org\/CorpusID:19138014","author":"Kiselyov Oleg","year":"2018","unstructured":"Oleg Kiselyov. 2018. \u03bb to SKI, Semantically - Declarative Pearl. In Fuji International Symposium on Functional and Logic Programming. https:\/\/api.semanticscholar.org\/CorpusID:19138014"},{"key":"e_1_3_2_1_2_1","volume-title":"Haskell 2010 language report. Available online http:\/\/www. haskell. org\/(May","author":"Marlow Simon","year":"2011","unstructured":"Simon Marlow. 2010. Haskell 2010 language report. Available online http:\/\/www. haskell. org\/(May 2011)."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796806006034"},{"key":"e_1_3_2_1_4_1","volume-title":"A new implementation technique for applicative languages. Software: Practice and Experience, 9","author":"Turner David","year":"1979","unstructured":"David Turner. 1979. A new implementation technique for applicative languages. Software: Practice and Experience, 9 (1979), https:\/\/api.semanticscholar.org\/CorpusID:40541269"},{"volume-title":"The Free Encyclopedia","key":"e_1_3_2_1_5_1","unstructured":"Wikipedia. 2024. Mogensen\u2013Scott encoding \u2014 Wikipedia, The Free Encyclopedia. http:\/\/en.wikipedia.org\/w\/index.php?title=Mogensen%E2%80%93Scott%20encoding&oldid=1217059412 [Online; accessed 04-June-2024]"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/TIT.1977.1055714"}],"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.3678280","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3677999.3678280","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.3678280"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,8,28]]},"references-count":6,"alternative-id":["10.1145\/3677999.3678280","10.1145\/3677999"],"URL":"https:\/\/doi.org\/10.1145\/3677999.3678280","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"}}]}}