{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,11]],"date-time":"2026-04-11T02:13:28Z","timestamp":1775873608991,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":48,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,6,18]],"date-time":"2021-06-18T00:00:00Z","timestamp":1623974400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,6,19]]},"DOI":"10.1145\/3453483.3454032","type":"proceedings-article","created":{"date-parts":[[2021,6,24]],"date-time":"2021-06-24T16:58:48Z","timestamp":1624553928000},"page":"96-111","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":26,"title":["Perceus: garbage free reference counting with reuse"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-3285-2112","authenticated-orcid":false,"given":"Alex","family":"Reinking","sequence":"first","affiliation":[{"name":"Microsoft Research, USA"}]},{"given":"Ningning","family":"Xie","sequence":"additional","affiliation":[{"name":"University of Hong Kong, China"}]},{"given":"Leonardo","family":"de Moura","sequence":"additional","affiliation":[{"name":"Microsoft Research, USA"}]},{"given":"Daan","family":"Leijen","sequence":"additional","affiliation":[{"name":"Microsoft Research, USA"}]}],"member":"320","published-online":{"date-parts":[[2021,6,18]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Koka repository. 2019. URL https:\/\/github.com\/koka-lang\/koka.  Koka repository. 2019. URL https:\/\/github.com\/koka-lang\/koka."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129500070109"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/3158093"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796800001660"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/3243176.3243195"},{"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","first-page":"85373","volume-title":"Springer","author":"de Vries Edsko","year":"2008","unstructured":"Edsko de Vries , Rinus Plasmeijer , and David M. Abrahamson . Uniqueness typing simplified. In Olaf Chitil, Zolt\u00e1n Horv\u00e1th, and Vikt\u00f3ria Zs\u00f3k, editors, Implementation and Application of Functional Languages (IFL\u201908), pages 201\u2013218 . Springer , 2008 . ISBN 978-3-540- 85373 - 85372 . Edsko de Vries, Rinus Plasmeijer, and David M. Abrahamson. Uniqueness typing simplified. In Olaf Chitil, Zolt\u00e1n Horv\u00e1th, and Vikt\u00f3ria Zs\u00f3k, editors, Implementation and Application of Functional Languages (IFL\u201908), pages 201\u2013218. Springer, 2008. ISBN 978-3-540-85373-2."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/383962.384016"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/360336.360345"},{"key":"e_1_3_2_1_11_1","first-page":"123","volume-title":"Proceedings of the 20th ACM Symposium on Principles of Programming Languages (POPL)","author":"Doligez Damien","unstructured":"Damien Doligez and Xavier Leroy . A concurrent, generational garbage collector for a multithreaded implementation of ML . In Proceedings of the 20th ACM Symposium on Principles of Programming Languages (POPL) , pages 113\u2013 123 . ACM press, January 1993. Damien Doligez and Xavier Leroy. A concurrent, generational garbage collector for a multithreaded implementation of ML. In Proceedings of the 20th ACM Symposium on Principles of Programming Languages (POPL), pages 113\u2013123. ACM press, January 1993."},{"key":"e_1_3_2_1_12_1","first-page":"165","volume-title":"Code generation using a formal model of reference counting","author":"F\u00e9rey Gaspard","unstructured":"Gaspard F\u00e9rey and Natarajan Shankar . Code generation using a formal model of reference counting . In Sanjai Rayadurgam and Oksana Tkachuk, editors, NASA Formal Methods , pages 150\u2013 165 . Springer International Publishing, 2016. ISBN 978-3-319-40648-0. Gaspard F\u00e9rey and Natarajan Shankar. Code generation using a formal model of reference counting. In Sanjai Rayadurgam and Oksana Tkachuk, editors, NASA Formal Methods, pages 150\u2013165. Springer International Publishing, 2016. ISBN 978-3-319-40648-0."},{"key":"e_1_3_2_1_13_1","unstructured":"Free Software Foundation Silicon Graphics and Hewlett\u2013Packard Company. Internal red-black tree implemention for \u00dftl::map\". URL https:\/\/code.woboq.org\/gcc\/libstdc++-v3\/src\/c++98\/tree.cc.html.  Free Software Foundation Silicon Graphics and Hewlett\u2013Packard Company. Internal red-black tree implemention for \u00dftl::map\". URL https:\/\/code.woboq.org\/gcc\/libstdc++-v3\/src\/c++98\/tree.cc.html."},{"key":"e_1_3_2_1_14_1","volume-title":"December","author":"Gallagher Matt","year":"2016","unstructured":"Matt Gallagher . Reference counted releases in Swift. Blog post , December 2016 . URL https:\/\/www.cocoawithlove.com\/blog\/resources-releases-reentrancy.html. Matt Gallagher. Reference counted releases in Swift. Blog post, December 2016. URL https:\/\/www.cocoawithlove.com\/blog\/resources-releases-reentrancy.html."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISPAN.2005.42"},{"key":"e_1_3_2_1_16_1","volume-title":"6th International Workshop on Implementation and Application of Functional Languages (IFL\u201904)","author":"Grelck Clemens","year":"2004","unstructured":"Clemens Grelck and Kai Trojahner . Implicit memory management for SAC . In 6th International Workshop on Implementation and Application of Functional Languages (IFL\u201904) , September 2004 . Clemens Grelck and Kai Trojahner. Implicit memory management for SAC. In 6th International Workshop on Implementation and Application of Functional Languages (IFL\u201904), September 2004."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1978.3"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/224164.224173"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/318593.318660"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796897002864"},{"key":"e_1_3_2_1_21_1","volume-title":"The Swift guide: Error handling","author":"Apple Inc.","year":"2017","unstructured":"Apple Inc. The Swift guide: Error handling . 2017 . URL https:\/\/docs.swift.org\/swift-book\/LanguageGuide\/ErrorHandling.html. Apple Inc. The Swift guide: Error handling. 2017. URL https:\/\/docs.swift.org\/swift-book\/LanguageGuide\/ErrorHandling.html."},{"key":"e_1_3_2_1_22_1","volume-title":"The Art of Computer Programming","author":"Knuth Donald E.","year":"1997","unstructured":"Donald E. Knuth . The Art of Computer Programming , Volume 1 ( 3 rd Ed.): Fundamental Algorithms. Addison Wesley Longman Publishing Co. , Inc., 1997 . ISBN 0201896834. Donald E. Knuth. The Art of Computer Programming, Volume 1 (3rd Ed.): Fundamental Algorithms. Addison Wesley Longman Publishing Co., Inc., 1997. ISBN 0201896834.","edition":"3"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.153.8"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/3009837.3009872"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/3122975.3122977"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-34175-6_13"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1111596.1111597"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(88)90063-9"},{"key":"e_1_3_2_1_30_1","volume-title":"The derivative of a regular type is its type of one-hole contexts","author":"McBride Conor","year":"2001","unstructured":"Conor McBride . The derivative of a regular type is its type of one-hole contexts , 2001 . URL http:\/\/strictlypositive.org\/diff.pdf. (Extended Abstract) . Conor McBride. The derivative of a regular type is its type of one-hole contexts, 2001. URL http:\/\/strictlypositive.org\/diff.pdf. (Extended Abstract)."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/367177.367199"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/TPDS.2004.8"},{"key":"e_1_3_2_1_34_1","volume-title":"Real World OCaml: Functional programming for the masses","author":"Minsky Yaron","year":"2012","unstructured":"Yaron Minsky , Anil Madhavapeddy , and Jason Hickey . Real World OCaml: Functional programming for the masses . 2012 . ISBN 978-1449323912. URL https:\/\/dev.realworldocaml.org. Yaron Minsky, Anil Madhavapeddy, and Jason Hickey. Real World OCaml: Functional programming for the masses. 2012. ISBN 978-1449323912. URL https:\/\/dev.realworldocaml.org."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(79)90068-1"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.5555\/580840"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796899003494"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6423(97)00029-4"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1023064908962"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.2168\/LMCS-9(4:23)2013"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796802004458"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-58402-1_9"},{"key":"e_1_3_2_1_44_1","volume-title":"Zero-overhead deterministic exceptions: Throwing values. C++ open-std proposal P0709 R2, 10","author":"Sutter Herb S.","year":"2018","unstructured":"Herb S. Sutter . Zero-overhead deterministic exceptions: Throwing values. C++ open-std proposal P0709 R2, 10 2018 . Herb S. Sutter. Zero-overhead deterministic exceptions: Throwing values. C++ open-std proposal P0709 R2, 10 2018."},{"key":"e_1_3_2_1_45_1","volume-title":"Turner and Phillip Wadler. Operational interpretations of linear logic. (227): 231\u2013248","author":"David","year":"1999","unstructured":"David N. Turner and Phillip Wadler. Operational interpretations of linear logic. (227): 231\u2013248 , 1999 . David N. Turner and Phillip Wadler. Operational interpretations of linear logic. (227): 231\u2013248, 1999."},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/3412932.3412935"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/3133841.3133843"},{"key":"e_1_3_2_1_48_1","volume-title":"Linear types can change the world! In Programming Concepts and Methods","author":"Wadler Phillip","year":"1990","unstructured":"Phillip Wadler . Linear types can change the world! In Programming Concepts and Methods , 1990 . Phillip Wadler. Linear types can change the world! In Programming Concepts and Methods, 1990."},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1994.1093"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/3406088.3409022"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/3408981"},{"key":"e_1_3_2_1_53_1","volume-title":"Orc - nim\u2019s cycle collector","author":"Yarantsev Danil","year":"2020","unstructured":"Danil Yarantsev . Orc - nim\u2019s cycle collector . October 2020 . URL https:\/\/nim-lang.org\/blog\/2020\/10\/15\/introduction-to-arc-orc-in-nim.html. Danil Yarantsev. Orc - nim\u2019s cycle collector. October 2020. URL https:\/\/nim-lang.org\/blog\/2020\/10\/15\/introduction-to-arc-orc-in-nim.html."}],"event":{"name":"PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation","location":"Virtual Canada","acronym":"PLDI '21","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3453483.3454032","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3453483.3454032","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:03:07Z","timestamp":1750197787000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3453483.3454032"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,6,18]]},"references-count":48,"alternative-id":["10.1145\/3453483.3454032","10.1145\/3453483"],"URL":"https:\/\/doi.org\/10.1145\/3453483.3454032","relation":{},"subject":[],"published":{"date-parts":[[2021,6,18]]},"assertion":[{"value":"2021-06-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}