TY  - RPRT
TI  - Flexible Type-Based Resource Estimation in Quantum Circuit Description Languages
AU  - Andrea Colledan
AU  - Ugo Dal Lago
PY  - 2024
UR  - https://arxiv.org/abs/2408.03121
ID  - 2408.03121
ER  -