{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,11]],"date-time":"2026-03-11T00:49:07Z","timestamp":1773190147455,"version":"3.50.1"},"reference-count":39,"publisher":"Association for Computing Machinery (ACM)","issue":"POPL","license":[{"start":{"date-parts":[[2025,1,7]],"date-time":"2025-01-07T00:00:00Z","timestamp":1736208000000},"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":["Proc. ACM Program. Lang."],"published-print":{"date-parts":[[2025,1,7]]},"abstract":"<jats:p>Uncomputation is a feature in quantum programming that allows the programmer to discard a value without losing quantum information, and that allows the compiler to reuse resources. Whereas quantum information has to be treated linearly by the type system, automatic uncomputation enables the programmer to treat it affinely to some extent. Automatic uncomputation requires a substructural type system between linear and affine, a subtlety that has only been captured by existing languages in an ad hoc way. We extend the Rust type system to the quantum setting to give a uniform framework for automatic uncomputation called Qurts (pronounced quartz). Specifically, we parameterise types by lifetimes, permitting them to be affine during their lifetime, while being restricted to linear use outside their lifetime. We also provide two operational semantics: one based on classical simulation, and one that does not depend on any specific uncomputation strategy.<\/jats:p>","DOI":"10.1145\/3704842","type":"journal-article","created":{"date-parts":[[2025,1,9]],"date-time":"2025-01-09T05:48:42Z","timestamp":1736401722000},"page":"155-182","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Qurts: Automatic Quantum Uncomputation by Affine Types with Lifetime"],"prefix":"10.1145","volume":"9","author":[{"ORCID":"https:\/\/orcid.org\/0009-0005-4416-2655","authenticated-orcid":false,"given":"Kengo","family":"Hirata","sequence":"first","affiliation":[{"name":"University of Edinburgh, Edinburgh, United Kingdom"},{"name":"Kyoto University, Kyoto, Japan"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7393-2640","authenticated-orcid":false,"given":"Chris","family":"Heunen","sequence":"additional","affiliation":[{"name":"University of Edinburgh, Edinburgh, United Kingdom"}]}],"member":"320","published-online":{"date-parts":[[2025,1,9]]},"reference":[{"key":"e_1_3_2_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2005.1"},{"key":"e_1_3_2_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-63390-9_1"},{"key":"e_1_3_2_4_1","doi-asserted-by":"publisher","DOI":"10.1137\/0218053"},{"key":"e_1_3_2_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISMVL.2019.00026"},{"key":"e_1_3_2_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/3385412.3386007"},{"key":"e_1_3_2_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/FOCS.2015.36"},{"key":"e_1_3_2_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISCA45697.2020.00054"},{"key":"e_1_3_2_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-52482-1_9"},{"key":"e_1_3_2_10_1","author":"Gidney Craig","year":"2019","unstructured":"Craig Gidney. 2019. Spooky pebble games and irreversible uncomputation. https:\/\/algassert.com\/post\/1905","journal-title":"Spooky pebble games and irreversible uncomputation"},{"key":"e_1_3_2_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/237814.237866"},{"key":"e_1_3_2_12_1","doi-asserted-by":"publisher","DOI":"10.48550\/arXiv.2411.10835"},{"key":"e_1_3_2_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2597917.2597939"},{"key":"e_1_3_2_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.parco.2014.12.001"},{"key":"e_1_3_2_15_1","doi-asserted-by":"publisher","DOI":"10.48550\/arXiv.2110.08973"},{"key":"e_1_3_2_16_1","doi-asserted-by":"publisher","DOI":"10.1038\/404130b0"},{"key":"e_1_3_2_17_1","author":"Lewis Marco","year":"2021","unstructured":"Marco Lewis and Timon Gehr. 2021. Silq Issue 28: Quantum redefinition through quantum control behaviour inconsistent depending on scope. https:\/\/github.com\/eth-sri\/silq\/issues\/28. https:\/\/github.com\/eth-sri\/silq\/issues\/28 GitHub Issue.","journal-title":"Silq Issue 28: Quantum redefinition through quantum control behaviour inconsistent depending on scope"},{"key":"e_1_3_2_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2663171.2663188"},{"key":"e_1_3_2_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-44914-8_18"},{"key":"e_1_3_2_20_1","doi-asserted-by":"publisher","DOI":"10.23919\/DATE.2019.8715092"},{"key":"e_1_3_2_21_1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511976667"},{"key":"e_1_3_2_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/3453483.3454040"},{"key":"e_1_3_2_23_1","doi-asserted-by":"publisher","DOI":"10.22331\/Q-2024-02-19-1258"},{"key":"e_1_3_2_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/PHYCMP.1992.615518"},{"key":"e_1_3_2_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-38100-3_10"},{"key":"e_1_3_2_26_1","doi-asserted-by":"publisher","DOI":"10.48550\/arXiv.2401.10579"},{"key":"e_1_3_2_27_1","doi-asserted-by":"publisher","unstructured":"Robert Rand Jennifer Paykin Dong-Ho Lee and Steve Zdancewic. 2018. ReQ WIRE: Reasoning about Reversible Quantum Circuits. In Proceedings 15th International Conference on Quantum Physics and Logic QPL 2018 Halifax Canada 3-7th June 2018 (EPTCS Vol. 287) Peter Selinger and Giulio Chiribella (Eds.). 299-312. https:\/\/doi.org\/10.4204\/EPTCS.287.17 10.4204\/EPTCS.287.17","DOI":"10.4204\/EPTCS.287.17"},{"key":"e_1_3_2_28_1","unstructured":"Rust Community. 2024a. References and Borrowing - The Rust Programming Language. https:\/\/doc.rust-lang.org\/book\/ch04-02-references-and-borrowing.html"},{"key":"e_1_3_2_29_1","unstructured":"Rust Community. 2024b. The Rust Programming Language. http:\/\/rustlang.org\/"},{"key":"e_1_3_2_30_1","unstructured":"Rust Community. 2024c. Validating References with Lifetimes - The Rust Programming Language. https:\/\/doc.rust- lang.org\/book\/ch10-03-lifetime-syntax.html"},{"key":"e_1_3_2_31_1","unstructured":"Rust Community. 2024d. What Is Ownership? - The Rust Programming Language. https:\/\/doc.rust-lang.org\/book\/ch04-01-what-is-ownership.html"},{"key":"e_1_3_2_32_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-89366-2_19"},{"key":"e_1_3_2_33_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-38100-3_11"},{"key":"e_1_3_2_34_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129506005238"},{"key":"e_1_3_2_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/3689785"},{"key":"e_1_3_2_36_1","volume-title":"Programming concepts and methods: Proceedings of the IFIP Working Group 2.2, 2.3 Working Conference on Programming Concepts and Methods, Sea of Galilee, Israel, 2-5 April, 1990","author":"Wadler Philip","year":"1990","unstructured":"Philip Wadler. 1990. Linear Types can Change the World!. In Programming concepts and methods: Proceedings of the IFIP Working Group 2.2, 2.3 Working Conference on Programming Concepts and Methods, Sea of Galilee, Israel, 2-5 April, 1990, Manfred Broy and Cliff B. Jones (Eds.). North-Holland, 561."},{"key":"e_1_3_2_37_1","doi-asserted-by":"publisher","DOI":"10.1038\/299802a0"},{"key":"e_1_3_2_38_1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511813887"},{"key":"e_1_3_2_39_1","doi-asserted-by":"publisher","DOI":"10.1016\/C2014-0-02660-3"},{"key":"e_1_3_2_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/3498691"}],"container-title":["Proceedings of the ACM on Programming Languages"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3704842","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3704842","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,2,4]],"date-time":"2026-02-04T10:14:30Z","timestamp":1770200070000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3704842"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,1,7]]},"references-count":39,"journal-issue":{"issue":"POPL","published-print":{"date-parts":[[2025,1,7]]}},"alternative-id":["10.1145\/3704842"],"URL":"https:\/\/doi.org\/10.1145\/3704842","relation":{},"ISSN":["2475-1421"],"issn-type":[{"value":"2475-1421","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,1,7]]},"assertion":[{"value":"2024-07-10","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2024-11-07","order":2,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2025-01-09","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}