Ugo Dal Lago. Counting Qubits and Gates: Resource Analysis in Quantum Programming Languages. In Malgorzata Biernacka, Carlos Olarte, Francesco Ricca, James Cheney, editors, Proceedings of the 27th International Symposium on Principles and Practice of Declarative Programming, PPDP 2025, Rende, Italy, September 10-11, 2025. ACM, 2025. [doi]
@inproceedings{Lago25,
title = {Counting Qubits and Gates: Resource Analysis in Quantum Programming Languages},
author = {Ugo Dal Lago},
year = {2025},
doi = {10.1145/3756907.3756908},
url = {https://doi.org/10.1145/3756907.3756908},
researchr = {https://researchr.org/publication/Lago25},
cites = {0},
citedby = {0},
booktitle = {Proceedings of the 27th International Symposium on Principles and Practice of Declarative Programming, PPDP 2025, Rende, Italy, September 10-11, 2025},
editor = {Malgorzata Biernacka and Carlos Olarte and Francesco Ricca and James Cheney},
publisher = {ACM},
isbn = {979-8-4007-2085-7},
}