Kohei Kishida
where else to find them
no profile links on file
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
who talks about the same things
nobody close enough yet
| 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… | ||
| nothing matches | ||