Jack Liell-Cock
where else to find them
no profile links on file
what they talk about
all 4 in the filters
where they keep going back
- POPL2 editions2025–2026
on a stage with
- Sam Staton3×
- Cristina Matacheonce
- Ohad Kammaronce
all 5 in the filters
who talks about the same things
- Sam Staton18 talks
- Ohad Kammar19 talks
- John M. Li4 talks
- Sharon Shoham13 talks
- Amal Ahmed25 talks
- Sam Lindley27 talks
| title | conference | date |
|---|---|---|
| An Equational Axiomatization of Dynamic Threads via Algebraic Effects: Presheaves on(…) | POPL 2026 | 2026-01-11 |
Paper gives a concrete equational axiomatization for dynamic threads: a parameterized algebraic theory (using presheaves and strong monads) that encodes… | ||
| The Relative Monadic Metalanguage | POPL 2026 | 2026-01-11 |
Generalises the monadic metalanguage to a relative setting and gives a complete semantics using a new definition of strong relative monads. Builds a… | ||
| Compositional imprecise probability: a solution from graded monads and Markov categories | POPL 2025 | 2025-01-19 |
Provides a fully compositional semantic for imprecise probability by naming nondeterministic choices and tracking them with graded monads, giving a… | ||
| nothing matches | ||