Research in programming languages.
-
MIT CSAIL
- Cambridge, MA
- https://people.csail.mit.edu/chenhuiy/
- https://orcid.org/0000-0002-4918-4467
Pinned Loading
-
-
psg-mit/twist-popl22
psg-mit/twist-popl22 PublicPOPL'22 Artifact for "Twist: Sound Reasoning for Purity and Entanglement in Quantum Programs".
-
-
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.