Tom Hirschowitz
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
- Guilhem Jaberonce
- Hugo Paquetonce
- Peio Borthelleonce
all 5 in the filters
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… | ||
| An abstract, certified account of Operational Game Semantics | GALOP 2024 | 2024-01-14 |
An abstract, certified account builds operational game semantics formalized in Coq and gives a generic soundness theorem for OGS that covers polarized and… | ||
| nothing matches | ||