Probabilistic Inference by Program Transformation in Hakaru (System Description)
Venture: a higher-order probabilistic programming platform with programmable inference