Robin Kaarsgaard
where else to find them
what they talk about
where they keep going back
- POPL2 editions2022–2024
on a stage with
- Chris Heunen3×
- Amr Sabryonce
- Jacques Caretteonce
all 4 in the filters
who talks about the same things
- Chris Heunen8 talks
- Amr Sabry10 talks
- Robert Rand11 talks
- Petar Korponaic3 talks
- Christopher McNally3 talks
- Kengo Hirata5 talks
| title | conference | date |
|---|---|---|
| One rig to control them all | PLanQC 2026 | 2026-01-12 |
A synthetic construction adds eight equations to any base prop of gates to produce controlled gates and their iterated controls, and the paper proves this… | ||
| With a Few Square Roots, Quantum Computing is as Easy as Pi | POPL 2024 | 2024-01-14 |
Extending rig groupoids with two distinguished maps and three coherence equations yields a computationally universal model of unitary quantum computing: one… | ||
| Quantum Information Effects | POPL 2022 | 2022-01-16 |
A type-and-effect system (languages: yuppie, yuppie-a, yuppie-chi-a) models two quantum information effects — allocation and hiding — and proves the system is… | ||
| nothing matches | ||