On Abstract Machine Semantics for Proto-Quipper-M. - Andrea Colledan (CoRR, 2021)

On Dynamic Lifting and Effect Typing in Circuit Description Languages. - Andrea Colledan; Ugo Dal Lago (TYPES, 2022)

On Dynamic Lifting and Effect Typing in Circuit Description Languages (Extended Version). - Andrea Colledan; Ugo Dal Lago (CoRR, 2022)

Circuit Width Estimation via Effect Typing and Linear Dependency (Long Version). - Andrea Colledan; Ugo Dal Lago (CoRR, 2023)

Circuit Width Estimation via Effect Typing and Linear Dependency. - Andrea Colledan; Ugo Dal Lago (ESOP (2), 2024)

Flexible Type-Based Resource Estimation in Quantum Circuit Description Languages. - Andrea Colledan; Ugo Dal Lago (Proc. ACM Program. Lang., 2025)