Formally justified and modular Bayesian inference for probabilistic programs. - Adam Michal Scibior (2019)