Theo Wang
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
- Dario Steinonce
- Eli Binghamonce
- Jack Feseronce
all 7 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Typed Abstractions for Causal Probabilistic Programming | LAFI 2026 | 2026-01-11 |
A Haskell library reimplements Cairo’s causal features with concrete types, extracting a cosmonad (a reader monad transformer over a probability monad) to… | ||
| Algebraic and denotational semantics for Classically Controlled Quantum Communication | PLanQC 2025 | 2025-01-25 |
Claims a parameterised algebraic theory for classically controlled quantum I/O and gives two sound models: a quantum stream operational semantics (streams as… | ||
| nothing matches | ||