3

A Rich Type System for Quantum Programs
In submission. Poster presented at Quantum Information Processing (QIP), 2022.
Aarthi Sundaram, Robert Rand, Kartik Singhal, Brad Lackey
Cite Poster DOI arXiv
A Rich Type System for Quantum Programs