A Rich Type System for Quantum Programs

Publication
Quantum Information Processing (QIP 2022) Poster