Simon Castellan
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
- Hugo Paquetonce
- Pierre Clairambaultonce
- Tom Hirschowitzonce
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Semantic Foundations for Laziness in Discrete Probabilistic Programming | LAFI 2026 | 2026-01-11 |
Claims that knowledge compilation and binary decision diagrams follow directly from a denotational semantics that splits sampling into two effects… | ||
| The Geometry of Causality: Multi-token Geometry of Interaction and Its Causal Un... | POPL 2023 | 2023-01-15 |
A compositional interpreter builds a multi-token machine for Idealized Parallel Algol and implements terms as coloured Petri nets that run concurrent tokens… | ||
| nothing matches | ||