Qurts: Automatic Quantum Uncomputation by Affine Types with Lifetime

K Hirata, Chris Heunen

Type: Article

Publication Date: 2025-01-07

Citations: 0

DOI: https://doi.org/10.1145/3704842

View Publication

Locations

Proceedings of the ACM on Programming Languages - View
arXiv (Cornell University) - View - PDF

Similar Works

Action	Title	Year	Authors
+ PDF Chat	Qurts: Automatic Quantum Uncomputation by Affine Types with Lifetime	2024	Kenji Hirata Chris Heunen
+ PDF Chat	Automatic amortized resource analysis with the Quantum physicist’s method	2021	David Kahn Jan Hoffmann
+	Automatic Amortized Resource Analysis with the Quantum Physicist's Method	2021	David Kahn Jan Hoffmann
+	Automatic Amortized Resource Analysis with the Quantum Physicist's Method	2021	David Kahn Jan Hoffmann
+ PDF Chat	Twist: sound reasoning for purity and entanglement in Quantum programs	2022	Charles Yuan Christopher M. McNally Michael Carbin
+ PDF Chat	Qunity: A Unified Language for Quantum and Classical Computing	2023	Finn Voichick Liyi Li Robert W. Rand Michael Hicks
+	Qunity: A Unified Language for Quantum and Classical Computing (Extended Version)	2022	Finn Voichick Liyi Li Robert W. Rand Michael Hicks
+ PDF Chat	Sized Types for Low-Level Quantum Metaprogramming	2019	Matthew Amy
+ PDF Chat	Enabling the Verification and Formalization of Hybrid Quantum-Classical Computing with OpenQASM 3.0 compatible QASM-TS 2.0	2024	Sean Kim Marcus Edwards
+ PDF Chat	Modular Synthesis of Efficient Quantum Uncomputation	2024	Hristo Venev Timon Gehr Dimitar Dimitrov Martin Vechev
+ PDF Chat	Quantum types: going beyond qubits and quantum gates	2024	Tamás Varga Yaiza Aragonés-Soria Manuel Oriol
+	Quantum and classical registers	2021	Dominique Unruh
+ PDF Chat	Modular Synthesis of Efficient Quantum Uncomputation	2024	Hristo Venev Timon Gehr Dimitar Dimitrov Martin Vechev
+	Qumin, a minimalist quantum programming language	2017	Alexander Singh Konstantinos Giannakis Theodore Andronikos
+	Static Analysis of Quantum Programs via Gottesman Types	2021	Robert W. Rand Aarthi Sundaram Kartik Singhal Brad Lackey
+	Quantum and Classical Registers.	2021	Dominique Unruh
+ PDF Chat	Q#	2018	Krysta M. Svore Alan Geller Matthias Troyer John Azariah Christopher Granade Bettina Heim Vadym Kliuchnikov Mariia Mykhailova Andres Paz Martin Roetteler
+	Quantum and classical registers	2021	Dominique Unruh
+ PDF Chat	ReQWIRE: Reasoning about Reversible Quantum Circuits	2019	Robert W. Rand Jennifer Paykin Dong‐Ho Lee Steve Zdancewic
+	Integrating Across Application, Model, Algorithm, Compilation, and Error Correction Chasms With Quantum Type Theory	2023	Eugene Dumitrescu

Works That Cite This (0)

Action	Title	Year	Authors

Works Cited by This (14)

Action	Title	Year	Authors
+	Trade-offs between classical and quantum space using spooky pebbling	2024	Arend-Jan Quist Alfons Laarman
+ PDF Chat	Hardness of Approximation in PSPACE and Separation Results for Pebble Games	2015	Siu Man Chan Massimo Lauria Jakob Nordström Marc Vinyals
+ PDF Chat	Twist: sound reasoning for purity and entanglement in Quantum programs	2022	Charles Yuan Christopher M. McNally Michael Carbin
+	The Spooky Pebble Game	2021	Niels Kornerup Jonathan Sadun David Soloveichik
+ PDF Chat	SQUARE: Strategic Quantum Ancilla Reuse for Modular Quantum Programs via Cost-Effective Uncomputation	2020	Yongshan Ding Xin-Chuan Wu Adam Holmes Ash Wiseth Diana Franklin Margaret Martonosi Frederic T. Chong
+ PDF Chat	Reqomp: Space-constrained Uncomputation for Quantum Circuits	2024	Anouk Paradis Benjamin Bichsel Martin Vechev
+	RustHorn: CHC-Based Verification for Rust Programs	2020	Yusuke Matsushita Takeshi Tsukada Naoki Kobayashi
+ PDF Chat	A Tutorial Introduction to Quantum Circuit Programming in Dependently Typed Proto-Quipper	2020	Peng Fu Kohei Kishida Neil J. Ross Peter Selinger
+ PDF Chat	Impossibility of deleting an unknown quantum state	2000	Arun Kumar Pati Samuel L. Braunstein
+ PDF Chat	Uncomputation in the Qrisp High-Level Quantum Programming Framework	2023	Raphael Seidel Nikolay Tcholtchev Sebastian Bock Manfred Hauswirth