1

Efficiently Verifying Quantum Programs with Few T Gates
A Language for Quantifying Quantum Network Behavior
Compositional Quantum Control Flow with Efficient Compilation in Qunity
An Algebraic Language for Specifying Quantum Networks
Automated Proof Generation for Associative and Distributive Rewriting with E-Graphs
ViCAR: Visualizing Categories with Automated Rewriting in Coq
MCBeth: A Measurement-based Quantum Programming Language
QPL 2022 video:
Qunity: A Unified Language for Quantum and Classical Computing
Towards an Algebraic Specification of Quantum Networks
Q# as a Quantum Algorithmic Language