{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,28]],"date-time":"2025-11-28T21:18:12Z","timestamp":1764364692756,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":31,"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:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"name":"Engineering and Physical Sciences Research Council","award":["EP\\\/W009447\\\/1"],"award-info":[{"award-number":["EP\\\/W009447\\\/1"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,8,29]]},"DOI":"10.1145\/3677999.3678277","type":"proceedings-article","created":{"date-parts":[[2024,8,28]],"date-time":"2024-08-28T19:13:35Z","timestamp":1724872415000},"page":"41-54","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Cloaca: A Concurrent Hardware Garbage Collector for Non-strict Functional Languages"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-8198-0746","authenticated-orcid":false,"given":"Craig","family":"Ramsay","sequence":"first","affiliation":[{"name":"Heriot-Watt University, Edinburgh, United Kingdom"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0365-693X","authenticated-orcid":false,"given":"Robert","family":"Stewart","sequence":"additional","affiliation":[{"name":"Heriot-Watt University, Edinburgh, United Kingdom"}]}],"member":"320","published-online":{"date-parts":[[2024,8,28]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Simple generational garbage collection and fast allocation. Softw. Pract. Exper., 19, 2","author":"Appel A. W.","year":"1989","unstructured":"A. W. Appel. 1989. Simple generational garbage collection and fast allocation. Softw. Pract. Exper., 19, 2 (1989), feb, 171\u2013183. issn:0038-0644"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/3209108.3209189"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.3990\/1.9789036538039"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","unstructured":"David F. Bacon Perry Cheng and V. T. Rajan. 2004. A unified theory of garbage collection. SIGPLAN Not. 39 10 (2004) oct 50\u201368. issn:0362-1340 https:\/\/doi.org\/10.1145\/1035292.1028982 10.1145\/1035292.1028982","DOI":"10.1145\/1035292.1028982"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/FPL57034.2022.00019"},{"volume-title":"Selected Papers from the 9th International Workshop on Implementation of Functional Languages (IFL \u201997)","author":"Boortz Kent","key":"e_1_3_2_1_6_1","unstructured":"Kent Boortz and Dan Sahlin. 1997. A Compacting Garbage Collector for Unidirectional Heaps. In Selected Papers from the 9th International Workshop on Implementation of Functional Languages (IFL \u201997). Springer-Verlag, Berlin, Heidelberg. 358. isbn:3540648496"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.ECOOP.2021.9"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/351240.351265"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1029873.1029893"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/367487.367501"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1029873.1029879"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2972206.2972210"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/3381898.3397214"},{"key":"e_1_3_2_1_14_1","unstructured":"GHC Team. 2019. Glasgow Haskell Compiler Version 8.6.5 Source Distribution. https:\/\/downloads.haskell.org\/ghc\/9.4.1\/docs\/users_guide\/index.html"},{"key":"e_1_3_2_1_15_1","unstructured":"Siemens EDA Harry Foster. 2020. 2020 Wilson Research Group functional verification study: FPGA functional verification trend report. https:\/\/uobdv.github.io\/Design-Verification\/WilsonResearchGroupFunctionalVerificationStudy\/2020-WRGFV-Study\/fpga-trend-report_2020-wilson-research-verification-study_hfoster.pdf"},{"key":"e_1_3_2_1_16_1","volume-title":"Hedgehog: Release with confidence.. https:\/\/hackage.haskell.org\/package\/hedgehog","author":"Stanley Jacob","year":"2024","unstructured":"Jacob Stanley. 2024. Hedgehog: Release with confidence.. https:\/\/hackage.haskell.org\/package\/hedgehog"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1555815.1555806"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"crossref","unstructured":"Simon Marlow Tim Harris and Simon Peyton Jones. 2008. Parallel Generational-Copying Garbage Collection with a Block-Structured Heap. In ISMM \u201908: Proceedings of the 7th international symposium on Memory management (ismm \u201908: proceedings of the 7th international symposium on memory management ed.). ACM. https:\/\/www.microsoft.com\/en-us\/research\/publication\/parallel-generational-copying-garbage-collection-with-a-block-structured-heap\/","DOI":"10.1145\/1375634.1375637"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1291220.1291194"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/367177.367199"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796812000214"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","unstructured":"Craig Ramsay and Robert Stewart. 2024. Dataset for \"Cloaca: A Concurrent Hardware Garbage Collector for Non-Strict Functional Languages\". https:\/\/doi.org\/10.17861\/68b8a67f-2684-47fa-bcec-1f97dcb98446 10.17861\/68b8a67f-2684-47fa-bcec-1f97dcb98446","DOI":"10.17861\/68b8a67f-2684-47fa-bcec-1f97dcb98446"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/3652561.3652564"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.48456\/tr-81"},{"key":"e_1_3_2_1_25_1","volume-title":"Practical Aspects of Declarative Languages","author":"Sylvestre Lo\u00efc","year":"2038","unstructured":"Lo\u00efc Sylvestre, Jocelyn S\u00e9rot, and Emmanuel Chailloux. 2023. Hardware Implementation of\u00a0OCaml Using a\u00a0Synchronous Functional Language. In Practical Aspects of Declarative Languages, Martin Gebser and Ilya Sergey (Eds.). Springer Nature Switzerland, Cham. 151\u2013168. isbn:978-3-031-52038-9"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993478.1993491"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/3022670.2951944"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/367593.367617"},{"key":"e_1_3_2_1_29_1","unstructured":"Xilinx Inc.. 2021. UG573 \u2014 UltraScale Architecture Memory Resources User Guide (v1.13). https:\/\/docs.xilinx.com\/v\/u\/en-US\/ug573-ultrascale-memory-resources"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/3538532"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1016\/0164-1212(90)90084-Y"}],"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.3678277","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3677999.3678277","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.3678277"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,8,28]]},"references-count":31,"alternative-id":["10.1145\/3677999.3678277","10.1145\/3677999"],"URL":"https:\/\/doi.org\/10.1145\/3677999.3678277","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"}}]}}