Explorer Practical probabilistic programming with monads
Bayesian Reasoning and Machine Learning