Scibior, A. (2019). Formally justified and modular Bayesian inference for probabilistic programs. PhD Thesis, University of Cambridge, Cambridge.