64 citations · 159 across the 14 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.PL2017★ 64 cited
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…
cs.PL2017
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…