{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:47:29Z","timestamp":1772164049238,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":35,"publisher":"ACM","license":[{"start":{"date-parts":[[2015,8,30]],"date-time":"2015-08-30T00:00:00Z","timestamp":1440892800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100003343","name":"Cambridge Commonwealth, European and International Trust","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100003343","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100000266","name":"Engineering and Physical Sciences Research Council","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100000266","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2015,8,30]]},"DOI":"10.1145\/2804302.2804317","type":"proceedings-article","created":{"date-parts":[[2015,8,24]],"date-time":"2015-08-24T10:09:20Z","timestamp":1440410960000},"page":"165-176","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":24,"title":["Practical probabilistic programming with monads"],"prefix":"10.1145","author":[{"given":"Adam","family":"\u015acibior","sequence":"first","affiliation":[{"name":"University of Cambridge, UK"}]},{"given":"Zoubin","family":"Ghahramani","sequence":"additional","affiliation":[{"name":"University of Cambridge, UK"}]},{"given":"Andrew D.","family":"Gordon","sequence":"additional","affiliation":[{"name":"Microsoft Research, UK \/ University of Edinburgh, UK"}]}],"member":"320","published-online":{"date-parts":[[2015,8,30]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Particle markov chain monte carlo methods. Journal of the Royal Statistical Society: Series B (Statistical Methodology), 72(3):269\u2013342","author":"Andrieu C.","year":"2010","unstructured":"C. Andrieu , A. Doucet , and R. Holenstein . Particle markov chain monte carlo methods. Journal of the Royal Statistical Society: Series B (Statistical Methodology), 72(3):269\u2013342 , 2010 . ISSN 1467-9868.. URL http:\/\/dx.doi.org\/10.1111\/j.1467-9868.2009.00736.x. D. Barber. Bayesian Reasoning and Machine Learning. CUP , 2012. 10.1111\/j.1467-9868.2009.00736.x C. Andrieu, A. Doucet, and R. Holenstein. Particle markov chain monte carlo methods. Journal of the Royal Statistical Society: Series B (Statistical Methodology), 72(3):269\u2013342, 2010. ISSN 1467-9868.. URL http:\/\/dx.doi.org\/10.1111\/j.1467-9868.2009.00736.x. D. Barber. Bayesian Reasoning and Machine Learning. CUP, 2012."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-36742-7_35"},{"key":"e_1_3_2_1_3_1","unstructured":". URL http:\/\/doi.acm.org\/10.1145\/2535838.2535872.  . URL http:\/\/doi.acm.org\/10.1145\/2535838.2535872."},{"key":"e_1_3_2_1_4_1","first-page":"54","volume-title":"Proceedings of the ICML-2004 Workshop on Statistical Relational Learning and its Connections to other Fields","author":"Domingos P.","year":"2004","unstructured":"P. Domingos and M. Richardson . Markov logic: A unifying framework for statistical relational learning . In Proceedings of the ICML-2004 Workshop on Statistical Relational Learning and its Connections to other Fields , pages 49\u2013 54 , 2004 . P. Domingos and M. Richardson. Markov logic: A unifying framework for statistical relational learning. In Proceedings of the ICML-2004 Workshop on Statistical Relational Learning and its Connections to other Fields, pages 49\u201354, 2004."},{"key":"e_1_3_2_1_5_1","volume-title":"A tutorial on particle filtering and smoothing: fifteen years later","author":"Doucet A.","year":"2011","unstructured":"A. Doucet and A. M. Johansen . A tutorial on particle filtering and smoothing: fifteen years later , 2011 . A. Doucet and A. M. Johansen. A tutorial on particle filtering and smoothing: fifteen years later, 2011."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008935410038"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796805005721"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.5555\/1296231"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.2307\/2348941"},{"key":"e_1_3_2_1_10_1","volume-title":"AUAI Press","author":"Goodman N.","year":"2008","unstructured":"N. Goodman , V. K. Mansinghka , D. M. Roy , K. Bonawitz , and J. B. Tenenbaum . Church: a language for generative models. In Uncertainty in Artificial Intelligence (UAI\u201908), pages 220\u2013229 . AUAI Press , 2008 . N. Goodman, V. K. Mansinghka, D. M. Roy, K. Bonawitz, and J. B. Tenenbaum. Church: a language for generative models. In Uncertainty in Artificial Intelligence (UAI\u201908), pages 220\u2013229. AUAI Press, 2008."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2429069.2429117"},{"key":"e_1_3_2_1_12_1","unstructured":"N. D. Goodman and A. Stuhlm\u00fcller. The Design and Implementation of Probabilistic Programming Languages. http:\/\/dippl.org 2014.  N. D. Goodman and A. Stuhlm\u00fcller. The Design and Implementation of Probabilistic Programming Languages. http:\/\/dippl.org 2014."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2429069.2429119"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2593882.2593900"},{"key":"e_1_3_2_1_15_1","volume-title":"Conditioning in probabilistic programming. CoRR, abs\/1504.00198","author":"Gretz F.","year":"2015","unstructured":"F. Gretz , N. Jansen , B. L. Kaminski , J. Katoen , A. McIver , and F. Olmedo . Conditioning in probabilistic programming. CoRR, abs\/1504.00198 , 2015 . URL http:\/\/arxiv.org\/abs\/1504.00198. F. Gretz, N. Jansen, B. L. Kaminski, J. Katoen, A. McIver, and F. Olmedo. Conditioning in probabilistic programming. CoRR, abs\/1504.00198, 2015. URL http:\/\/arxiv.org\/abs\/1504.00198."},{"key":"e_1_3_2_1_16_1","volume-title":"Implementing a correct sampler for imperative probabilistic programs","author":"Hur C.-K.","year":"2015","unstructured":"C.-K. Hur , A. Nori , S. Rajamani , S. Samuel , and D. Vijaykeerthy . Implementing a correct sampler for imperative probabilistic programs . 2015 . C.-K. Hur, A. Nori, S. Rajamani, S. Samuel, and D. Vijaykeerthy. Implementing a correct sampler for imperative probabilistic programs. 2015."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068410000566"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-03034-5_17"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(81)90036-2"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(85)90012-1"},{"key":"e_1_3_2_1_21_1","volume-title":"Memory efficient implementation of probability monads. unpublished","author":"Larsen K. F.","year":"2011","unstructured":"K. F. Larsen . Memory efficient implementation of probability monads. unpublished , 2011 . K. F. Larsen. Memory efficient implementation of probability monads. unpublished, 2011."},{"key":"e_1_3_2_1_22_1","volume-title":"The BUGS Book","author":"Lunn D.","year":"2013","unstructured":"D. Lunn , C. Jackson , N. Best , A. Thomas , and D. Spiegelhalter . The BUGS Book . CRC Press , 2013 . D. Lunn, C. Jackson, N. Best, A. Thomas, and D. Spiegelhalter. The BUGS Book. CRC Press, 2013."},{"key":"e_1_3_2_1_23_1","volume-title":"Venture: a higher-order probabilistic programming platform with programmable inference. arXiv preprint arXiv:1404.0099","author":"Mansinghka V.","year":"2014","unstructured":"V. Mansinghka , D. Selsam , and Y. Perov . Venture: a higher-order probabilistic programming platform with programmable inference. arXiv preprint arXiv:1404.0099 , 2014 . V. Mansinghka, D. Selsam, and Y. Perov. Venture: a higher-order probabilistic programming platform with programmable inference. arXiv preprint arXiv:1404.0099, 2014."},{"key":"e_1_3_2_1_24_1","volume-title":"Probabilistic, Logical and Relational Learning \u2014 A Further Synthesis","author":"Milch B.","year":"2005","unstructured":"B. Milch , B. Marthi , S. J. Russell , D. Sontag , D. L. Ong , and A. Kolobov . BLOG: Probabilistic models with unknown objects . In Probabilistic, Logical and Relational Learning \u2014 A Further Synthesis , 2005 . B. Milch, B. Marthi, S. J. Russell, D. Sontag, D. L. Ong, and A. Kolobov. BLOG: Probabilistic models with unknown objects. In Probabilistic, Logical and Relational Learning \u2014 A Further Synthesis, 2005."},{"key":"e_1_3_2_1_25_1","volume-title":"Nov.","author":"Minka T.","year":"2009","unstructured":"T. Minka , J. Winn , J. Guiver , and A. Kannan . Infer.NET 2.3 , Nov. 2009 . Software available from http:\/\/research.microsoft.com\/ infernet. R. M. Neal. Probabilistic inference using Markov chain Monte Carlo methods. Technical Report CRG-TR-93-1, Dept. of Computer Science, University of Toronto, September 1993. T. Minka, J. Winn, J. Guiver, and A. Kannan. Infer.NET 2.3, Nov. 2009. Software available from http:\/\/research.microsoft.com\/ infernet. R. M. Neal. Probabilistic inference using Markov chain Monte Carlo methods. Technical Report CRG-TR-93-1, Dept. of Computer Science, University of Toronto, September 1993."},{"key":"e_1_3_2_1_26_1","first-page":"2","article-title":"Mcmc using hamiltonian dynamics","author":"Neal R. M.","year":"2011","unstructured":"R. M. Neal . Mcmc using hamiltonian dynamics . Handbook of Markov Chain Monte Carlo , 2 , 2011 . R. M. Neal. Mcmc using hamiltonian dynamics. Handbook of Markov Chain Monte Carlo, 2, 2011.","journal-title":"Handbook of Markov Chain Monte Carlo"},{"key":"e_1_3_2_1_27_1","volume-title":"ICML","author":"Paige B.","year":"2014","unstructured":"B. Paige and F. Wood . A compilation target for probabilistic programming languages . In ICML , 2014 . B. Paige and F. Wood. A compilation target for probabilistic programming languages. In ICML, 2014."},{"key":"e_1_3_2_1_28_1","unstructured":"B. Paige F. Wood A. Doucet and Y. W. Teh. Asynchronous anytime sequential monte carlo. In Z. Ghahramani M. Welling C. Cortes N. Lawrence and K. Weinberger editors Advances in Neural Information Processing Systems 27 pages 3410\u20133418. Curran Associates Inc. 2014. URL http:\/\/papers.nips.cc\/paper\/ 5450-asynchronous-anytime-sequential-monte-carlo.pdf. A. Pfeffer. IBAL: A probabilistic rational programming language. In B. Nebel editor International Joint Conference on Artificial Intelligence (IJCAI\u201901) pages 733\u2013740. Morgan Kaufmann 2001.   B. Paige F. Wood A. Doucet and Y. W. Teh. Asynchronous anytime sequential monte carlo. In Z. Ghahramani M. Welling C. Cortes N. Lawrence and K. Weinberger editors Advances in Neural Information Processing Systems 27 pages 3410\u20133418. Curran Associates Inc. 2014. URL http:\/\/papers.nips.cc\/paper\/ 5450-asynchronous-anytime-sequential-monte-carlo.pdf. A. Pfeffer. IBAL: A probabilistic rational programming language. In B. Nebel editor International Joint Conference on Artificial Intelligence (IJCAI\u201901) pages 733\u2013740. Morgan Kaufmann 2001."},{"key":"e_1_3_2_1_29_1","volume-title":"Charles River Analytics","author":"Pfeffer A.","year":"2009","unstructured":"A. Pfeffer . Figaro : An object-oriented probabilistic programming language. Technical report , Charles River Analytics , 2009 . A. Pfeffer. Figaro: An object-oriented probabilistic programming language. Technical report, Charles River Analytics, 2009."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/503272.503288"},{"key":"e_1_3_2_1_31_1","volume-title":"Statistical Relational Artificial Intelligence","author":"Riedel S. R.","year":"2014","unstructured":"S. R. Riedel , S. Singh , V. Srikumar , T. Rockt\u00e4schel , L. Visengeriyeva , and J. Noessner . WOLFE: strength reduction and approximate programming for probabilistic programming . In Statistical Relational Artificial Intelligence , 2014 . S. R. Riedel, S. Singh, V. Srikumar, T. Rockt\u00e4schel, L. Visengeriyeva, and J. Noessner. WOLFE: strength reduction and approximate programming for probabilistic programming. In Statistical Relational Artificial Intelligence, 2014."},{"key":"e_1_3_2_1_32_1","volume-title":"World Scientific","author":"Rosenthal J. S.","year":"2006","unstructured":"J. S. Rosenthal . A First Look at Rigorous Probability Theory. World Scientific , 2 nd edition, 2006 . J. S. Rosenthal. A First Look at Rigorous Probability Theory. World Scientific, 2nd edition, 2006.","edition":"2"},{"key":"e_1_3_2_1_33_1","volume-title":"A C++ library for probability and sampling, version 2.2","year":"2014","unstructured":"Stan Development Team. Stan : A C++ library for probability and sampling, version 2.2 , 2014 . URL http:\/\/mc-stan.org\/. Y. W. Teh. Dirichlet processes. In Encyclopedia of Machine Learning. Springer , 2010. Stan Development Team. Stan: A C++ library for probability and sampling, version 2.2, 2014. URL http:\/\/mc-stan.org\/. Y. W. Teh. Dirichlet processes. In Encyclopedia of Machine Learning. Springer, 2010."},{"key":"e_1_3_2_1_34_1","series-title":"JMLR Proceedings","first-page":"131","volume-title":"Proceedings of the Eighteenth International Conference on Artificial Intelligence and Statistics, AISTATS","author":"van de Meent J.","year":"2015","unstructured":"J. van de Meent , H. Yang , V. Mansinghka , and F. Wood . Particle gibbs with ancestor sampling for probabilistic programs . In G. Lebanon and S. V. N. Vishwanathan, editors, Proceedings of the Eighteenth International Conference on Artificial Intelligence and Statistics, AISTATS 2015 , San Diego, California, USA , May 9-12, 2015, volume 38 of JMLR Proceedings . JMLR.org, 2015. URL http:\/\/jmlr.org\/ proceedings\/papers\/v38\/vandemeent15.html. D. Wingate, A. Stuhlmueller, and N. Goodman. Lightweight implementations of probabilistic programming languages via transformational compilation. In Proceedings of the 14th Intl. Conf. on Artificial Intelligence and Statistics , page 131 , 2011. J. van de Meent, H. Yang, V. Mansinghka, and F. Wood. Particle gibbs with ancestor sampling for probabilistic programs. In G. Lebanon and S. V. N. Vishwanathan, editors, Proceedings of the Eighteenth International Conference on Artificial Intelligence and Statistics, AISTATS 2015, San Diego, California, USA, May 9-12, 2015, volume 38 of JMLR Proceedings. JMLR.org, 2015. URL http:\/\/jmlr.org\/ proceedings\/papers\/v38\/vandemeent15.html. D. Wingate, A. Stuhlmueller, and N. Goodman. Lightweight implementations of probabilistic programming languages via transformational compilation. In Proceedings of the 14th Intl. Conf. on Artificial Intelligence and Statistics, page 131, 2011."},{"key":"e_1_3_2_1_35_1","volume-title":"Proceedings of the 17th International conference on Artificial Intelligence and Statistics","author":"Wood F.","year":"2014","unstructured":"F. Wood , J.- W. van de Meent, and V. Mansinghka. A new approach to probabilistic programming inference . In Proceedings of the 17th International conference on Artificial Intelligence and Statistics , 2014 . F. Wood, J.-W. van de Meent, and V. Mansinghka. A new approach to probabilistic programming inference. In Proceedings of the 17th International conference on Artificial Intelligence and Statistics, 2014."}],"event":{"name":"ICFP'15: 20th ACM SIGPLAN International Conference on Functional Programming","location":"Vancouver BC Canada","acronym":"ICFP'15","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 2015 ACM SIGPLAN Symposium on Haskell"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2804302.2804317","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2804302.2804317","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T01:07:10Z","timestamp":1750208830000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2804302.2804317"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,8,30]]},"references-count":35,"alternative-id":["10.1145\/2804302.2804317","10.1145\/2804302"],"URL":"https:\/\/doi.org\/10.1145\/2804302.2804317","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2887747.2804317","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2015,8,30]]},"assertion":[{"value":"2015-08-30","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}