Login / Signup
Christopher McNally
ORCID
Publication Activity (10 Years)
Years Active: 2022-2022
Publications (10 Years): 2
Top Topics
Spatial Reasoning
Computer Programs
Knowledge Representation
Quantum Computation
Top Venues
Proc. ACM Program. Lang.
CoRR
</>
Publications
</>
Charles Yuan
,
Christopher McNally
,
Michael Carbin
Twist: Sound Reasoning for Purity and Entanglement in Quantum Programs.
CoRR
(2022)
Charles Yuan
,
Christopher McNally
,
Michael Carbin
Twist: sound reasoning for purity and entanglement in Quantum programs.
Proc. ACM Program. Lang.
6 (POPL) (2022)