Neil Julien Ross
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
all 4 in the filters
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… | ||
| Verifying the Equivalence of Parameterized Quantum Circuits | PLanQC 2025 | 2025-01-25 |
Claims that parameterized-circuit equivalence reduces to checking Laurent polynomial identities and gives concrete degree bounds computed from a circuit's… | ||
| 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 | ||