Twist: Sound Reasoning for Purity and Entanglement in Quantum Programs

Author(s)
Yuan, Charles; McNally, Christopher; Carbin, Michael
Thumbnail
Download3498691.pdf (451.2Kb)
Publisher with Creative Commons License
Terms of use
Creative Commons Attribution 4.0 International license https://creativecommons.org/licenses/by/4.0/
Metadata
Show full item record
Date issued
2022-01-11
URI
https://hdl.handle.net/1721.1/146379
Department
Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory
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
ISSN
2475-1421
Collections

The following license files are associated with this item: