113 citations · 319 across the 18 of their papers we have counts for
4 papers · 1 filter
Denotational validation of higher-order Bayesian inference
Adam Ścibior, Ohad Kammar, Matthijs Vákár +7
We present a modular semantic account of Bayesian inference algorithms for probabilistic programming languages, as used in data science and machine learning. Sophisticated inferenc…
A monadic solution to the Cartwright-Felleisen-Wadler conjecture
Ohad Kammar, Dylan McDermott
Given a programming language, can we give a monadic denotational semantics that is stable under language extension? Models containing only a single monad are not stable. Models bas…
A monad for full ground reference cells
Ohad Kammar, Paul B. Levy, Sean K. Moss +1
We present a denotational account of dynamic allocation of potentially cyclic memory cells using a monad on a functor category. We identify the collection of heaps as an object in…
A Convenient Category for Higher-Order Probability Theory
Chris Heunen, Ohad Kammar, Sam Staton +1
Higher-order probabilistic programming languages allow programmers to write sophisticated models in machine learning and statistics in a succinct and structured way, but step outsi…