Jacques Carette
where else to find them
no profile links on file
what they talk about
where they keep going back
- PEPM2 editions2020–2023
on a stage with
- Amr Sabry2×
- Chris Heunenonce
- Gerardo Ortizonce
all 4 in the filters
who talks about the same things
- Jesper Cockx5 talks
- Amr Sabry10 talks
- Philip Wadler14 talks
- Richard A. Eisenberg18 talks
- Gabriel Scherer12 talks
- Alex Hubers3 talks
| title | conference | date |
|---|---|---|
| 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… | ||
| Symbolic Execution of Hadamard-Toffoli Quantum Circuits | PEPM 2023 | 2023-01-16 |
Classical symbolic evaluation models Hadamard-created superpositions as symbolic boolean variables and runs reversible parts forward and backward to produce… | ||
| GOOL: A Generic Object-Oriented Lanugage | PEPM 2020 | 2020-01-20 |
GOOL is a embedded DSL in Haskell that uses finally‑tagless encodings and type families to generate readable, idiomatic code and documentation for multiple OO… | ||
| nothing matches | ||