Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Sarah Marshall
conf.researchr.org general profile
ICFP 2022 profile
PLDI 2021 profile
Not registered as user yet
Name:
Sarah Marshall
Affiliation:
Microsoft Quantum
Contributions
2022
PLanQC
Author of Q*: Implementing Quantum Separation Logic in F* within the PLanQC-track
2021
PLanQC
Author of Toward a Type-Theoretic Interpretation of Q# and Statically Enforcing the No-Cloning Theorem within the PLanQC 2021-track
Share
x
Thu 21 Nov 21:07