"Compiling Markov chain Monte Carlo algorithms for probabilistic modeling."

Daniel Huang, Jean-Baptiste Tristan, Greg Morrisett (2017)
a service of Schloss Dagstuhl - Leibniz Center for Informatics