Slice Sampling for Probabilistic Programming
Church: a language for generative models