Chris Heunen
where else to find them
bluesky:chrisheunen.bsky.social
what they talk about
where they keep going back
- POPL4 editions2022–2026
on a stage with
all 7 in the filters
who talks about the same things
- Robin Kaarsgaard4 talks
- Amr Sabry10 talks
- Christopher McNally3 talks
- Kengo Hirata5 talks
- Michael Carbin14 talks
- Robert Rand11 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… | ||
| Quantum Circuits Are Just a Phase | POPL 2026 | 2026-01-11 |
Defines a tiny language with a single numerical primitive pH(theta) (global phase) plus a quantum pattern match iflet that picks bases via patterns as… | ||
| Qurts: Automatic Quantum Uncomputation by Affine Types with Lifetime | POPL 2025 | 2025-01-19 |
Extends Rust’s type system with sharp α types so qubits are lifetime-annotated dropable qubits (affine inside a lifetime, linear outside), gives two… | ||
| 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… | ||
| Semantic Foundations for Probabilistic Programming | Uncertainty in Computation 2016 | 2016-10-04 |
Develops a denotational semantics for an idealized Anglican (a Church fork) that supports continuous distributions, higher-order functions, soft constraints… | ||
| nothing matches | ||