Twist: sound reasoning for purity and entanglement in Quantum programs. - Charles Yuan; Christopher McNally; Michael Carbin (Proc. ACM Program. Lang., 2022)

Quantum circuits are just a phase. - Chris Heunen; Louis Lemonnier; Christopher McNally; Alex Rice (CoRR, 2025)