Not registered as user yet
Name:Sarah Marshall
Affiliation:Microsoft Quantum
Contributions
| PLanQC 2022 | Q*: Implementing Quantum Separation Logic in F* | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ICFP 2022-profile
View general profile
View general profile