Not registered as user yet
Name:Sarah Marshall
Affiliation:Microsoft Quantum
Contributions
PLanQC 2021 | Toward a Type-Theoretic Interpretation of Q# and Statically Enforcing the No-Cloning Theorem | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
PLDI 2021-profile
View general profile
View general profile