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