{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,16]],"date-time":"2026-04-16T00:25:39Z","timestamp":1776299139697,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":33,"publisher":"ACM","license":[{"start":{"date-parts":[[2016,8,31]],"date-time":"2016-08-31T00:00:00Z","timestamp":1472601600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2016,8,31]]},"DOI":"10.1145\/3064899.3064910","type":"proceedings-article","created":{"date-parts":[[2017,4,24]],"date-time":"2017-04-24T12:26:08Z","timestamp":1493036768000},"page":"1-12","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":37,"title":["Design and Implementation of Probabilistic Programming Language Anglican"],"prefix":"10.1145","author":[{"given":"David","family":"Tolpin","sequence":"first","affiliation":[{"name":"University of Oxford"}]},{"given":"Jan-Willem","family":"van de Meent","sequence":"additional","affiliation":[{"name":"Northeastern University"}]},{"given":"Hongseok","family":"Yang","sequence":"additional","affiliation":[{"name":"University of Oxford"}]},{"given":"Frank","family":"Wood","sequence":"additional","affiliation":[{"name":"University of Oxford"}]}],"member":"320","published-online":{"date-parts":[[2016,8,31]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/75277.75303"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"crossref","unstructured":"Nando de Freitas & Neil Gordon Arnaud Doucet (Ed.). 2001. Sequential Monte Carlo Methods in Practice. Springer.  Nando de Freitas & Neil Gordon Arnaud Doucet (Ed.). 2001. Sequential Monte Carlo Methods in Practice. Springer.","DOI":"10.1007\/978-1-4757-3437-9_17"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/214448.214454"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2951913.2951942"},{"key":"e_1_3_2_1_5_1","volume-title":"Turing: A fast imperative probabilistic programming language. (June","author":"Ge Hong","year":"2016","unstructured":"Hong Ge , Adam \u015acibior , Kai Xu , and Zoubin Ghahramani . 2016 . Turing: A fast imperative probabilistic programming language. (June 2016). Hong Ge, Adam \u015acibior, Kai Xu, and Zoubin Ghahramani. 2016. Turing: A fast imperative probabilistic programming language. (June 2016)."},{"key":"e_1_3_2_1_6_1","volume-title":"Tenenbaum","author":"Goodman Noah D.","year":"2008","unstructured":"Noah D. Goodman , Vikash K. Mansinghka , Daniel M. Roy , Keith Bonawitz , and Joshua B . Tenenbaum . 2008 . Church: a language for generative models. In Proc. of Uncertainty in Artificial Intelligence . Noah D. Goodman, Vikash K. Mansinghka, Daniel M. Roy, Keith Bonawitz, and Joshua B. Tenenbaum. 2008. Church: a language for generative models. In Proc. of Uncertainty in Artificial Intelligence."},{"key":"e_1_3_2_1_7_1","unstructured":"N. D. Goodman and A. Stuhlm\u00fcller. 2015. The Design and Implementation of Probabilistic Programming Languages. http:\/\/dippl.org\/ electronic; retrieved 2015\/3\/11.  N. D. Goodman and A. Stuhlm\u00fcller. 2015. The Design and Implementation of Probabilistic Programming Languages. http:\/\/dippl.org\/ electronic; retrieved 2015\/3\/11."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1408681.1408682"},{"key":"e_1_3_2_1_9_1","volume-title":"Perov","author":"Mansinghka Vikash K.","year":"2014","unstructured":"Vikash K. Mansinghka , Daniel Selsam , and Yura N . Perov . 2014 . Venture: a higher-order probabilistic programming platform with programmable inference. CoRR abs\/1404.0099 (2014). Vikash K. Mansinghka, Daniel Selsam, and Yura N. Perov. 2014. Venture: a higher-order probabilistic programming platform with programmable inference. CoRR abs\/1404.0099 (2014)."},{"key":"e_1_3_2_1_10_1","volume-title":"BLOG: Probabilistic Models with Unknown Objects","author":"Milch Brian","year":"2007","unstructured":"Brian Milch , Bhaskara Marthi , Stuart Russell , David Sontag , Daniel L. Ong , and Andrey Kolobov . 2007 . BLOG: Probabilistic Models with Unknown Objects . In Statistical Relational Learning, Lise Getoor and Ben Taskar (Eds.). MIT Press . Brian Milch, Bhaskara Marthi, Stuart Russell, David Sontag, Daniel L. Ong, and Andrey Kolobov. 2007. BLOG: Probabilistic Models with Unknown Objects. In Statistical Relational Learning, Lise Getoor and Ben Taskar (Eds.). MIT Press."},{"key":"e_1_3_2_1_11_1","unstructured":"T Minka J Winn J Guiver and D Knowles. 2010. Infer .NET 2.4 Microsoft Research Cambridge. (2010).  T Minka J Winn J Guiver and D Knowles. 2010. Infer .NET 2.4 Microsoft Research Cambridge. (2010)."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(04)80969-1"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2666202.2666208"},{"key":"e_1_3_2_1_14_1","volume-title":"Proceedings of The 31st International Conference on Machine Learning. 1935--1943","author":"Paige Brooks","year":"2014","unstructured":"Brooks Paige and Frank Wood . 2014 . A compilation target for probabilistic programming languages . In Proceedings of The 31st International Conference on Machine Learning. 1935--1943 . Brooks Paige and Frank Wood. 2014. A compilation target for probabilistic programming languages. In Proceedings of The 31st International Conference on Machine Learning. 1935--1943."},{"key":"e_1_3_2_1_15_1","unstructured":"B. Paige F. Wood A. Doucet and Y.W. Teh. 2014. Asynchronous Anytime Sequential Monte Carlo. In Advances in Neural Information Processing Systems.  B. Paige F. Wood A. Doucet and Y.W. Teh. 2014. Asynchronous Anytime Sequential Monte Carlo. In Advances in Neural Information Processing Systems."},{"key":"e_1_3_2_1_16_1","volume-title":"Applications of Probabilistic Programming (Master's thesis","author":"Perov Yura N.","year":"2015","unstructured":"Yura N. Perov . 2016. Applications of Probabilistic Programming (Master's thesis , 2015 ). CoRR abs\/1606.00075 (2016). http:\/\/arxiv.org\/abs\/1606.00075 Yura N. Perov. 2016. Applications of Probabilistic Programming (Master's thesis, 2015). CoRR abs\/1606.00075 (2016). http:\/\/arxiv.org\/abs\/1606.00075"},{"key":"e_1_3_2_1_17_1","volume-title":"Tuan Anh Le, and Frank D. Wood","author":"Perov Yura N.","year":"2015","unstructured":"Yura N. Perov , Tuan Anh Le, and Frank D. Wood . 2015 . Datadriven Sequential Monte Carlo in Probabilistic Programming. CoRR abs\/1512.04387 (2015). http:\/\/arxiv.org\/abs\/1512.04387 Yura N. Perov, Tuan Anh Le, and Frank D. Wood. 2015. Datadriven Sequential Monte Carlo in Probabilistic Programming. CoRR abs\/1512.04387 (2015). http:\/\/arxiv.org\/abs\/1512.04387"},{"key":"e_1_3_2_1_18_1","volume-title":"Figaro: An Object-Oriented Probabilistic Programming Language. In Charles River Analytics Technical Report","author":"Pfeffer Avi","year":"2009","unstructured":"Avi Pfeffer . 2009 . Figaro: An Object-Oriented Probabilistic Programming Language. In Charles River Analytics Technical Report (2009). Avi Pfeffer. 2009. Figaro: An Object-Oriented Probabilistic Programming Language. In Charles River Analytics Technical Report (2009)."},{"key":"e_1_3_2_1_19_1","unstructured":"K. Pitman and K. Chapman. 1994. Information Technology -- Programming Language -- Common Lisp. Number 226-1194 in NCITS. ANSI.  K. Pitman and K. Chapman. 1994. Information Technology -- Programming Language -- Common Lisp. Number 226-1194 in NCITS. ANSI."},{"key":"e_1_3_2_1_20_1","volume-title":"Interacting Particle Markov Chain Monte Carlo. In Proceedings of the 33rd International Conference on Machine Learning (JMLR: W&CP)","volume":"48","author":"Rainforth Tom","unstructured":"Tom Rainforth , Christian A Naesseth , Fredrik Lindsten , Brooks Paige , Jan-Willem van de Meent, Arnaud Doucet, and Frank Wood. 2016 . Interacting Particle Markov Chain Monte Carlo. In Proceedings of the 33rd International Conference on Machine Learning (JMLR: W&CP) , Vol. 48 . Tom Rainforth, Christian A Naesseth, Fredrik Lindsten, Brooks Paige, Jan-Willem van de Meent, Arnaud Doucet, and Frank Wood. 2016. Interacting Particle Markov Chain Monte Carlo. In Proceedings of the 33rd International Conference on Machine Learning (JMLR: W&CP), Vol. 48."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/2804302.2804317"},{"key":"e_1_3_2_1_22_1","volume-title":"Michael Sperber, R. Kent Dybvig, Matthew Flatt, Anton van Straaten, Robby Findler, and Jacob Matthews. 2010. Revised [6] Report on the Algorithmic Language Scheme","unstructured":"Michael Sperber, R. Kent Dybvig, Matthew Flatt, Anton van Straaten, Robby Findler, and Jacob Matthews. 2010. Revised [6] Report on the Algorithmic Language Scheme ( 1 st ed.). Cambridge University Press , New York, NY, USA . Michael Sperber, R. Kent Dybvig, Matthew Flatt, Anton van Straaten, Robby Findler, and Jacob Matthews. 2010. Revised [6] Report on the Algorithmic Language Scheme (1st ed.). Cambridge University Press, New York, NY, USA.","edition":"1"},{"key":"e_1_3_2_1_23_1","volume-title":"Stan: A C++ Library for Probability and Sampling, Version 2.4.","author":"Team Stan Development","year":"2014","unstructured":"Stan Development Team . 2014 . Stan: A C++ Library for Probability and Sampling, Version 2.4. (2014). Stan Development Team. 2014. Stan: A C++ Library for Probability and Sampling, Version 2.4. (2014)."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/2933575.2935313"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.5555\/3120406.3120429"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-23461-8_36"},{"key":"e_1_3_2_1_27_1","volume-title":"Proceedings of the 19th International Conference on Artificial Intelligence and Statistics, AISTATS 2016","author":"van de Meent Jan-Willem","year":"2016","unstructured":"Jan-Willem van de Meent , Brooks Paige , David Tolpin , and Frank Wood . 2016 . Black-Box Policy Search with Probabilistic Programs . In Proceedings of the 19th International Conference on Artificial Intelligence and Statistics, AISTATS 2016 , Cadiz, Spain , May 9-11, 2016. 1195--1204. Jan-Willem van de Meent, Brooks Paige, David Tolpin, and Frank Wood. 2016. Black-Box Policy Search with Probabilistic Programs. In Proceedings of the 19th International Conference on Artificial Intelligence and Statistics, AISTATS 2016, Cadiz, Spain, May 9-11, 2016. 1195--1204."},{"key":"e_1_3_2_1_28_1","unstructured":"Jan-Willem van de Meent Hongseok Yang Vikash Mansinghka and Frank Wood. 2015. Particle Gibbs with Ancestor Sampling for Probabilistic Programs. In Artificial Intelligence and Statistics. arXiv:1501.06769 http:\/\/arxiv.org\/abs\/1501.06769  Jan-Willem van de Meent Hongseok Yang Vikash Mansinghka and Frank Wood. 2015. Particle Gibbs with Ancestor Sampling for Probabilistic Programs. In Artificial Intelligence and Statistics. arXiv:1501.06769 http:\/\/arxiv.org\/abs\/1501.06769"},{"key":"e_1_3_2_1_29_1","volume-title":"Proc. of the 14th Artificial Intelligence and Statistics.","author":"Wingate David","unstructured":"David Wingate , Andreas Stuhlm\u00fcller , and Noah D. Goodman . 2011. Lightweight Implementations of Probabilistic Programming Languages Via Transformational Compilation . In Proc. of the 14th Artificial Intelligence and Statistics. David Wingate, Andreas Stuhlm\u00fcller, and Noah D. Goodman. 2011. Lightweight Implementations of Probabilistic Programming Languages Via Transformational Compilation. In Proc. of the 14th Artificial Intelligence and Statistics."},{"key":"e_1_3_2_1_30_1","volume-title":"Automated variational inference in probabilistic programming. arXiv preprint arXiv:1301.1299","author":"Wingate David","year":"2013","unstructured":"David Wingate and Theophane Weber . 2013. Automated variational inference in probabilistic programming. arXiv preprint arXiv:1301.1299 ( 2013 ). David Wingate and Theophane Weber. 2013. Automated variational inference in probabilistic programming. arXiv preprint arXiv:1301.1299 (2013)."},{"key":"e_1_3_2_1_31_1","unstructured":"Frank Wood Jan-Willem van de Meent and Vikash Mansinghka. 2014. A New Approach to Probabilistic Programming Inference. In Artificial Intelligence and Statistics.  Frank Wood Jan-Willem van de Meent and Vikash Mansinghka. 2014. A New Approach to Probabilistic Programming Inference. In Artificial Intelligence and Statistics."},{"key":"e_1_3_2_1_32_1","volume-title":"Tuan Anh Le, and Yura Perov","author":"Wood Frank","year":"2014","unstructured":"Frank Wood , Jan-Willem van de Meent , David Tolpin , Brooks Paige , Hongseok Yang , Tuan Anh Le, and Yura Perov . 2014 . The Probabilistic Programming System Anglican. http:\/\/robots.ox.ac.uk\/~fwood\/anglican\/index.html. (2014). Accessed : 2016-06-30. Frank Wood, Jan-Willem van de Meent, David Tolpin, Brooks Paige, Hongseok Yang, Tuan Anh Le, and Yura Perov. 2014. The Probabilistic Programming System Anglican. http:\/\/robots.ox.ac.uk\/~fwood\/anglican\/index.html. (2014). Accessed: 2016-06-30."},{"key":"e_1_3_2_1_33_1","volume-title":"Proceedings of the Seventeenth International Conference on Artificial Intelligence and Statistics. 1068--1076","author":"Yang Lingfeng","year":"2014","unstructured":"Lingfeng Yang , Pat Hanrahan , and Noah D Goodman . 2014 . Generating Efficient MCMC Kernels from Probabilistic Programs . In Proceedings of the Seventeenth International Conference on Artificial Intelligence and Statistics. 1068--1076 . Lingfeng Yang, Pat Hanrahan, and Noah D Goodman. 2014. Generating Efficient MCMC Kernels from Probabilistic Programs. In Proceedings of the Seventeenth International Conference on Artificial Intelligence and Statistics. 1068--1076."}],"event":{"name":"IFL 2016: Symposium on Implementation and Application of Functional Languages","location":"Leuven Belgium","acronym":"IFL 2016","sponsor":["K.U. Leuven K.U. Leuven"]},"container-title":["Proceedings of the 28th Symposium on the Implementation and Application of Functional Programming Languages"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3064899.3064910","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3064899.3064910","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:03:28Z","timestamp":1750215808000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3064899.3064910"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,8,31]]},"references-count":33,"alternative-id":["10.1145\/3064899.3064910","10.1145\/3064899"],"URL":"https:\/\/doi.org\/10.1145\/3064899.3064910","relation":{},"subject":[],"published":{"date-parts":[[2016,8,31]]},"assertion":[{"value":"2016-08-31","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}