TY  - RPRT
TI  - Twist: Sound Reasoning for Purity and Entanglement in Quantum Programs
AU  - Charles Yuan
AU  - Christopher McNally
AU  - Michael Carbin
PY  - 2022
DO  - 10.1145/3498691
UR  - https://arxiv.org/abs/2205.02287
ID  - 2205.02287
ER  -