Probabilistic Inference by Program Transformation in Hakaru (System Description)
A New Approach to Probabilistic Programming Inference