Twist: Sound Reasoning for Purity and Entanglement in Quantum Programs

Bibliographic Details
Main Authors:	Yuan, Charles, McNally, Christopher, Carbin, Michael
Other Authors:	Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory
Format:	Article
Language:	English
Published:	ACM 2022
Online Access:	https://hdl.handle.net/1721.1/146379

Internet

https://hdl.handle.net/1721.1/146379