Denotational account of approximate Bayesian inference
PROBPROG Conference 2018

Functional Programming for Modular Bayesian Inference
ICFP 2018

Compositional inference in probabilistic programming
Microsoft Research Cambridge 2016

Practical Probabilistic Programming with Monads
Haskell Symposium 2015

Effects in Bayesian inference
HOPE 2015