POPL 2025 (series) / PLanQC 2025 (series) / PLanQC 2025 / Imperative Quantum Programming with Ownership and Borrowing in Guppy
Imperative Quantum Programming with Ownership and Borrowing in GuppyTalk
Linear types enforce no-cloning and no-deleting theorems in functional quantum programming. However, in imperative quantum programming, they have not gained widespread adoption. This work aims to develop a quantum type system that combines ergonomic linear typing with imperative semantics and maintains safety guarantees. All ideas presented here have been implemented in Quantinuum’s Guppy programming language.
(guppy_planqc_2025.pdf) | 352KiB |