8

Toward Formalizing the Q# Programming Language
--
Verified Optimization in a Quantum Intermediate Representation
--
QWIRE: A QRAM-Inspired Quantum Circuit Language
--