Christopher McNally -

Registered user since Sat 15 Jan 2022

Name:Christopher McNally

Country:United States

Affiliation:Massachusetts Institute of Technology

Contributions

PLanQC 2022	Author of Analyzing quantum programs using the power of interaction within the PLanQC-track
PLDI 2022	Author of (POPL 2022) Twist: Sound Reasoning for Purity and Entanglement in Quantum Programs within the SIGPLAN Track-track
POPL 2022	Author of Twist: Sound Reasoning for Purity and Entanglement in Quantum Programs within the POPL-track