Design and Implementation of Probabilistic Programming Language Anglican
A lambda-calculus foundation for universal probabilistic programming