• Sign in
  • Sign up
conf.researchr.org / Sarah Marshall
  • ICFP 2022 profile
  • PLDI 2021 profile
No Photo

Not registered as user

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
xSun 25 May 14:53
using conf.researchr.org (v1.69.0)
Support page
Sign Up