• Sign in
  • Sign up
conf.researchr.org / Andrea Colledan
  • POPL 2024 profile
  • POPL 2025 profile
Andrea Colledan

Registered user since Thu 14 Nov 2024

Name:Andrea Colledan
Affiliation:University of Bologna & INRIA Sophia Antipolis

Contributions

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
xSun 25 May 12:17
using conf.researchr.org (v1.69.0)
Support page
Sign Up