3

A Rich Type System for Quantum Programs

Aarthi Sundaram, Robert Rand, Kartik Singhal, Brad Lackey

Qunity: A Unified Language for Quantum and Classical Computing

Finn Voichick, Robert Rand, Michael Hicks

VyZX: A Vision for Verifying the ZX Calculus

Adrian Lehmann, Ben Caldwell, Robert Rand