Design and Implementation of Probabilistic Programming Language Anglican
A Compilation Target for Probabilistic Programming Languages