TY  - RPRT
TI  - Sized Types for low-level Quantum Metaprogramming
AU  - Matthew Amy
PY  - 2019
DO  - 10.1007/978-3-030-21500-2_6
UR  - https://arxiv.org/abs/1908.02644
ID  - 1908.02644
ER  -