A Rich Type System for Quantum Programs

In submission.

Poster presented at Quantum Information Processing (QIP), 2022.