bachelor ' s thesis on generative probabilistic programming ( in russian language , june 2014 ) .
Venture: a higher-order probabilistic programming platform with programmable inference