A Compilation Target for Probabilistic Programming Languages
Particle Markov chain Monte Carlo methods