Probabilistic Programming in Julia New Inference Algorithms
Church: a language for generative models