Andrea Colledan

According to our database, Andrea Colledan authored at least 8 papers between 2021 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2026

On Circuit Description Languages, Indexed Monads, and Resource Analysis.

Ken Sakayori, Andrea Colledan, Ugo Dal Lago

Proc. ACM Program. Lang., 2026

2025

Circuit Width Estimation via Effect Typing and Linear Dependency.

Andrea Colledan, Ugo Dal Lago, Niki Vazou

ACM Trans. Program. Lang. Syst., September, 2025

Flexible Type-Based Resource Estimation in Quantum Circuit Description Languages.

Andrea Colledan, Ugo Dal Lago

Proc. ACM Program. Lang., 2025

2024

Circuit Width Estimation via Effect Typing and Linear Dependency.

Andrea Colledan, Ugo Dal Lago

Proceedings of the Programming Languages and Systems, 2024

2023

Circuit Width Estimation via Effect Typing and Linear Dependency (Long Version).

Andrea Colledan, Ugo Dal Lago

CoRR, 2023

2022

On Dynamic Lifting and Effect Typing in Circuit Description Languages (Extended Version).

Andrea Colledan, Ugo Dal Lago

CoRR, 2022

On Dynamic Lifting and Effect Typing in Circuit Description Languages.

Andrea Colledan, Ugo Dal Lago

Proceedings of the 28th International Conference on Types for Proofs and Programs, 2022

2021

On Abstract Machine Semantics for Proto-Quipper-M.

Andrea Colledan

CoRR, 2021