@misc{indiciae586e1a759e76,
  title = {Qurts: Automatic Quantum Uncomputation by Affine Types with Lifetime},
  author = {Kengo Hirata and Chris Heunen},
  year = {2024},
  doi = {10.1145/3704842},
  url = {https://arxiv.org/abs/2411.10835},
  note = {Source identifier: 2411.10835}
}