Sarah Marshall

Latest

• Q# as a Quantum Algorithmic Language
• Toward a Type-Theoretic Interpretation of Q#
• Toward Formalizing the Q# Programming Language