Probabilistic Inference by Program Transformation in Hakaru (System Description). - Praveen Narayanan; Jacques Carette; Wren Romano; Chung-chieh Shan; Robert Zinkov (FLOPS, 2016)