{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,11]],"date-time":"2026-04-11T02:13:30Z","timestamp":1775873610777,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":27,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,9,25]],"date-time":"2019-09-25T00:00:00Z","timestamp":1569369600000},"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":[[2019,9,25]]},"DOI":"10.1145\/3412932.3412935","type":"proceedings-article","created":{"date-parts":[[2021,7,15]],"date-time":"2021-07-15T16:08:45Z","timestamp":1626365325000},"page":"1-12","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":20,"title":["Counting immutable beans"],"prefix":"10.1145","author":[{"given":"Sebastian","family":"Ullrich","sequence":"first","affiliation":[{"name":"Karlsruhe Institute of Technology, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Leonardo","family":"de Moura","sequence":"additional","affiliation":[{"name":"Microsoft Research"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2021,7,15]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/185009.185016"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/359636.359713"},{"key":"e_1_3_2_1_3_1","unstructured":"Johannes Bechberger. 2016. Besser Benchmarken. https:\/\/pp.ipd.kit.edu\/publication. php?id=bechberger16bachelorarbeit https:\/\/github.com\/parttimenerd\/temci.  Johannes Bechberger. 2016. Besser Benchmarken. https:\/\/pp.ipd.kit.edu\/publication. php?id=bechberger16bachelorarbeit https:\/\/github.com\/parttimenerd\/temci."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/964001"},{"key":"e_1_3_2_1_5_1","volume-title":"A promise checked is a promise kept: Inspection Testing. arXiv preprint arXiv:1803.07130","author":"Breitner Joachim","year":"2018","unstructured":"Joachim Breitner . 2018. A promise checked is a promise kept: Inspection Testing. arXiv preprint arXiv:1803.07130 ( 2018 ). Joachim Breitner. 2018. A promise checked is a promise kept: Inspection Testing. arXiv preprint arXiv:1803.07130 (2018)."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/3243176"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/367487.367501"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(88)90005-3"},{"key":"e_1_3_2_1_9_1","volume-title":"COLOG-88 (Tallinn","author":"Coquand Thierry","year":"1988","unstructured":"Thierry Coquand and Christine Paulin . 1990. Inductively Defined Types . In COLOG-88 (Tallinn , 1988 ). Lecture Notes in Comput. Sci., Vol. 417 . Springer , Berlin, 50--66. Thierry Coquand and Christine Paulin. 1990. Inductively Defined Types. In COLOG-88 (Tallinn, 1988). Lecture Notes in Comput. Sci., Vol. 417. Springer, Berlin, 50--66."},{"key":"e_1_3_2_1_10_1","volume-title":"Proceedings. 378--388","author":"de Moura Leonardo","year":"2015","unstructured":"Leonardo de Moura , Soonho Kong , Jeremy Avigad , Floris van Doorn , and Jakob von Raumer . 2015 . The Lean Theorem Prover (System Description). In Automated Deduction - CADE-25 - 25th International Conference on Automated Deduction, 2015 , Proceedings. 378--388 . Leonardo de Moura, Soonho Kong, Jeremy Avigad, Floris van Doorn, and Jakob von Raumer. 2015. The Lean Theorem Prover (System Description). In Automated Deduction - CADE-25 - 25th International Conference on Automated Deduction, 2015, Proceedings. 378--388."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/3110278"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-40648-0_12"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/155090.155113"},{"key":"e_1_3_2_1_14_1","volume-title":"16th International Workshop, IFL","volume":"4","author":"Grelck Clemens","year":"2004","unstructured":"Clemens Grelck and Kai Trojahner . 2004 . Implicit memory management for SAC. In Implementation and Application of Functional Languages , 16th International Workshop, IFL , Vol. 4 . 335--348. Clemens Grelck and Kai Trojahner. 2004. Implicit memory management for SAC. In Implementation and Application of Functional Languages, 16th International Workshop, IFL, Vol. 4. 335--348."},{"key":"e_1_3_2_1_15_1","volume-title":"Combining Region Inference and Garbage Collection. In ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI'02)","author":"Hallenberg Niels","year":"2002","unstructured":"Niels Hallenberg , Martin Elsman , and Mads Tofte . 2002 . Combining Region Inference and Garbage Collection. In ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI'02) . ACM Press. Berlin, Germany. Niels Hallenberg, Martin Elsman, and Mads Tofte. 2002. Combining Region Inference and Garbage Collection. In ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI'02). ACM Press. Berlin, Germany."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/318593.318660"},{"key":"e_1_3_2_1_17_1","volume-title":"Cyclone: A Safe Dialect of C. In USENIX Annual Technical Conference, General Track. 275--288","author":"Jim Trevor","year":"2002","unstructured":"Trevor Jim , J Gregory Morrisett , Dan Grossman , Michael W Hicks , James Cheney , and Yanling Wang . 2002 . Cyclone: A Safe Dialect of C. In USENIX Annual Technical Conference, General Track. 275--288 . Trevor Jim, J Gregory Morrisett, Dan Grossman, Michael W Hicks, James Cheney, and Yanling Wang. 2002. Cyclone: A Safe Dialect of C. In USENIX Annual Technical Conference, General Track. 275--288."},{"key":"e_1_3_2_1_18_1","volume-title":"Garbage Collection: Algorithms for Automatic Dynamic Memory Management","author":"Jones Richard","year":"1996","unstructured":"Richard Jones and Rafael D Lins . 1996 . Garbage Collection: Algorithms for Automatic Dynamic Memory Management . Wiley . Richard Jones and Rafael D Lins. 1996. Garbage Collection: Algorithms for Automatic Dynamic Memory Management. Wiley."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/2663171"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/3062341.3062380"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/367593.367649"},{"key":"e_1_3_2_1_23_1","volume-title":"The Boost C++ Libraries","author":"Schling Boris","unstructured":"Boris Schling . 2011. The Boost C++ Libraries . XML Press . Boris Schling. 2011. The Boost C++ Libraries. XML Press."},{"key":"e_1_3_2_1_24_1","volume-title":"John Glauert (Ed.): Proceedings of the 6th International Workshop on the Implementation of Functional Languages","author":"Scholz Sven-Bodo","unstructured":"Sven-Bodo Scholz . 1994. Single Assignment C - Functional Programming Using Imperative Style . In In John Glauert (Ed.): Proceedings of the 6th International Workshop on the Implementation of Functional Languages . University of East Anglia . Sven-Bodo Scholz. 1994. Single Assignment C - Functional Programming Using Imperative Style. In In John Glauert (Ed.): Proceedings of the 6th International Workshop on the Implementation of Functional Languages. University of East Anglia."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.5555\/646450.692635"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/3133841.3133843"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1159876.1159877"},{"key":"e_1_3_2_1_28_1","volume-title":"Uniprocessor garbage collection techniques","author":"Wilson Paul R.","unstructured":"Paul R. Wilson . 1992. Uniprocessor garbage collection techniques . In Memory Management, Yves Bekkers and Jacques Cohen (Eds.). Springer Berlin Heidelberg , Berlin, Heidelberg , 1--42. Paul R. Wilson. 1992. Uniprocessor garbage collection techniques. In Memory Management, Yves Bekkers and Jacques Cohen (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 1--42."}],"event":{"name":"IFL '19: Implementation and Application of Functional Languages","location":"Singapore Singapore","acronym":"IFL '19"},"container-title":["Proceedings of the 31st Symposium on Implementation and Application of Functional Languages"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3412932.3412935","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3412932.3412935","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:47:02Z","timestamp":1750193222000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3412932.3412935"}},"subtitle":["reference counting optimized for purely functional programming"],"short-title":[],"issued":{"date-parts":[[2019,9,25]]},"references-count":27,"alternative-id":["10.1145\/3412932.3412935","10.1145\/3412932"],"URL":"https:\/\/doi.org\/10.1145\/3412932.3412935","relation":{},"subject":[],"published":{"date-parts":[[2019,9,25]]},"assertion":[{"value":"2021-07-15","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}