The Design and Implementation of Probabilistic Programming Languages - View it on GitHub