TY  - RPRT
TI  - Type-based Qubit Allocation for a First-Order Quantum Programming Language
AU  - Ryo Wakizaka
AU  - Atsushi Igarashi
PY  - 2023
UR  - https://arxiv.org/abs/2306.01856
ID  - 2306.01856
ER  -