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