Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Jack Liell-Cock
conf.researchr.org general profile
ICFP 2026 profile
POPL 2025 profile
POPL 2026 profile
‹Programming› 2024 profile
Not registered as user
Name:
Jack Liell-Cock
Affiliation:
University of Oxford
Contributions
2026
ICFP
Author of Imprecise Probabilistic Programming, Precisely (Functional Pearl) within the ICFP Papers-track
POPL
Author of The Relative Monadic Metalanguage within the POPL-track
Author of An Equational Axiomatization of Dynamic Threads via Algebraic Effects: Presheaves on Finite Relations, Labelled Posets, and Parameterized Algebraic Theories within the POPL-track
2025
POPL
Author of Compositional imprecise probability: a solution from graded monads and Markov categories within the POPL-track
2024
‹Programming›
Author of Let a Thousand Flowers Bloom: An Algebraic Representation for Edge Graphs within the Research Papers-track
Share
x
Sat 24 Oct 12:46