Design and Implementation of Probabilistic Programming Language Anglican
Venture: a higher-order probabilistic programming platform with programmable inference