Qurts: Automatic Quantum Uncomputation by Affine Types with Lifetime. - Kengo Hirata; Chris Heunen (Proc. ACM Program. Lang., 2025)