Ugo Dal Lago

Latest

• Flexible Type-Based Resource Estimation in Quantum Circuit Description Languages
• On Dynamic Lifting and Effect Typing in Circuit Description Languages (Extended Version)
• The Geometry of Parallelism: Classical, Probabilistic, and Quantum Effects