Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Andrea Colledan
conf.researchr.org general profile
POPL 2024 profile
POPL 2025 profile
POPL 2026 profile
Registered user since Thu 14 Nov 2024
Name:
Andrea Colledan
Affiliation:
University of Bologna & INRIA Sophia Antipolis
Contributions
2026
POPL
Author of On Circuit Description Languages, Indexed Monads, and Resource Analysis within the POPL-track
2025
POPL
Author of Flexible Type-Based Resource Estimation in Quantum Circuit Description Languages within the POPL-track
PLanQC
Author of Size Analysis of Imperative Quantum Circuit Building Programs Through Floyd-Hoare Logics within the PLanQC 2025-track
2024
PLanQC
Author of Circuit Width Estimation via Effect Typing and Linear Dependency (Extended Abstract) within the PLanQC 2024-track
Share
x
Tue 17 Feb 22:54
