Sarah Marshall

Latest

• Q# as a Quantum Algorithmic Language
• Toward a Type-Theoretic Interpretation of Q# and Statically Enforcing the No-Cloning Theorem
• Quantum Programming Languages