@misc{indiciae28b53e306c1b,
  title = {Twist: Sound Reasoning for Purity and Entanglement in Quantum Programs},
  author = {Charles Yuan and Christopher McNally and Michael Carbin},
  year = {2022},
  doi = {10.1145/3498691},
  url = {https://arxiv.org/abs/2205.02287},
  note = {Source identifier: 2205.02287}
}