Twist: Sound Reasoning for Purity and Entanglement in Quantum Programs
Name
3498691.pdf
Size
451.29 KB
Format
Adobe PDF
Checksum (MD5)
1b14cecc82cebe299882ddaf80deafda
Author(s)
Yuan, Charles
McNally, Christopher
Carbin, Michael
Date Issued
January 11, 2022
Journal
PACM on Programming Languages
Publisher
ACM
Citation
Yuan, Charles, McNally, Christopher and Carbin, Michael. 2022. "Twist: Sound Reasoning for Purity and Entanglement in Quantum Programs." PACM on Programming Languages.
Version
Final published version
MIT Department
Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory
Terms of Use
Creative Commons Attribution 4.0 International license
Persistent DSpace Link
DOI of Published Version
https://doi.org/10.1145/3498691
