Andrea Colledan
where else to find them
what they talk about
where they keep going back
- POPL2 editions2025–2026
on a stage with
- Ugo Dal Lago3×
- Ken Sakayorionce
who talks about the same things
- Ugo Dal Lago14 talks
- Emanuele D'Osualdo7 talks
- Gilles Barthe17 talks
- Marco Gaboardi18 talks
- Jan Hoffmann9 talks
- Robert Rand11 talks
| title | conference | date |
|---|---|---|
| On Circuit Description Languages, Indexed Monads, and Resource Analysis | POPL 2026 | 2026-01-11 |
Presents a monad-based denotational semantics for Proto-Quipper variants that cleanly separates returned values from the circuits a term generates, using a… | ||
| Flexible Type-Based Resource Estimation in Quantum Circuit Description Languages | POPL 2025 | 2025-01-19 |
Introduces a type-and-effect system for Quipper that produces parametric upper bounds on circuit size (width, gate count, and wire-level depth) by combining… | ||
| Circuit Width Estimation via Effect Typing and Linear Dependency (Extended Abs... | PLanQC 2024 | 2024-01-20 |
Proto-Quipper-R implements a linear dependent type-and-effect system that produces parametric upper bounds on circuit width (indices are arithmetic expressions… | ||
| nothing matches | ||