Peter Selinger
where else to find them
what they talk about
where they keep going back
- PLanQC2 editions2020–2025
on a stage with
who talks about the same things
- Michael Carbin14 talks
- Jennifer Paykin8 talks
- Leonidas Lampropoulos15 talks
- Yizhou Zhang13 talks
- Caroline Lemieux6 talks
- Peter Sewell14 talks
| title | conference | date |
|---|---|---|
| Proto-Quipper with Reversing and Control | PLanQC 2025 | 2025-01-25 |
Formalizes reversible and controllable circuits with a dagger symmetric monoidal category R and a new controllable category N, adds a Proto-Quipper extension… | ||
| Proto-Quipper with Dynamic Lifting | POPL 2023 | 2023-01-15 |
Extends Proto-Quipper-M with dynamic lifting to let measurement bits become compile-time parameters, implements a new language Proto-Quipper-Dyn, and gives a… | ||
| Dependently Typed Quantum Programming in Proto-Quipper | PLanQC 2020 | 2020-01-19 |
Proto-Quipper claims a practical, type-safe fix for Quipper’s unsoundness by adding dependent linear types that force a shape/parameter separation (types only… | ||
| A Finite Alternation Result for Reversible Boolean Circuits | Symmetry, Logic, Computation 2016 | 2016-11-07 |
For n ≥ 4 every even reversible Boolean function on n bits decomposes as a composition of at most nine reversible maps that each act on n−1 bits, with a proved… | ||
| nothing matches | ||