A Compilation Target for Probabilistic Programming Languages
Church: a language for generative models