Qurts: Automatic Quantum Uncomputation by Affine Types with Lifetime

Explore a 21-minute conference talk from POPL 2025 that introduces Qurts, a novel framework for automatic quantum uncomputation using affine types with lifetime. Presented by Kengo Hirata and Chris Heunen from the University of Edinburgh and Kyoto University, this research addresses a critical challenge in quantum programming: how to discard values without losing quantum information while enabling resource reuse. Learn how the researchers extend Rust's type system to the quantum domain, creating a uniform framework that parameterizes types by lifetimes, allowing them to be affine during their lifetime while restricting them to linear use outside it. The presentation covers two operational semantics—one based on classical simulation and another independent of specific uncomputation strategies—demonstrating a sophisticated approach to substructural type systems that bridges the gap between linear and affine types in quantum programming.