Interactive Writing and Debugging of Bayesian Probabilistic Programs

Javier Burroni, Arjun Guha, and David Jensen
Probabilistic Programming Languages, Semantics, and Systems (PPS), 2018