Ugo Dal Lago

Latest

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