{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,13]],"date-time":"2026-02-13T10:20:37Z","timestamp":1770978037694,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":38,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,7,5]],"date-time":"2017-07-05T00:00:00Z","timestamp":1499212800000},"content-version":"vor","delay-in-days":365,"URL":"http:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100000781","name":"European Research Council","doi-asserted-by":"publisher","award":["ECSYM"],"award-info":[{"award-number":["ECSYM"]}],"id":[{"id":"10.13039\/501100000781","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100004083","name":"Ministry of Science ICT and Future Planning","doi-asserted-by":"publisher","award":["R0190-15-2011"],"award-info":[{"award-number":["R0190-15-2011"]}],"id":[{"id":"10.13039\/501100004083","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000185","name":"Defense Advanced Research Projects Agency","doi-asserted-by":"publisher","award":["PPAML"],"award-info":[{"award-number":["PPAML"]}],"id":[{"id":"10.13039\/100000185","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100000288","name":"Royal Society","doi-asserted-by":"publisher","award":["URF"],"award-info":[{"award-number":["URF"]}],"id":[{"id":"10.13039\/501100000288","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100000266","name":"Engineering and Physical Sciences Research Council","doi-asserted-by":"publisher","award":["Fellowship"],"award-info":[{"award-number":["Fellowship"]}],"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":[[2016,7,5]]},"DOI":"10.1145\/2933575.2935313","type":"proceedings-article","created":{"date-parts":[[2016,10,14]],"date-time":"2016-10-14T09:34:47Z","timestamp":1476437687000},"page":"525-534","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":68,"title":["Semantics for probabilistic programming"],"prefix":"10.1145","author":[{"given":"Sam","family":"Staton","sequence":"first","affiliation":[{"name":"University of Oxford"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hongseok","family":"Yang","sequence":"additional","affiliation":[{"name":"University of Oxford"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Frank","family":"Wood","sequence":"additional","affiliation":[{"name":"University of Oxford"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chris","family":"Heunen","sequence":"additional","affiliation":[{"name":"University of Edinburgh"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ohad","family":"Kammar","sequence":"additional","affiliation":[{"name":"University of Cambridge"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2016,7,5]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2011.49"},{"key":"e_1_3_2_1_2_1","volume-title":"On computability and disintegration","author":"Ackerman N. L.","year":"2015","unstructured":"N. L. Ackerman, C. E. Freer, and D. M. Roy. On computability and disintegration, 2015. URL http:\/\/arxiv.org\/abs\/1509.02992."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1215\/ijm\/1255631584"},{"key":"e_1_3_2_1_4_1","volume-title":"World Scientific","author":"Berberian S. K.","year":"1988","unstructured":"S. K. Berberian. Borel spaces. World Scientific, 1988."},{"issue":"3","key":"e_1_3_2_1_5_1","first-page":"11","article-title":"Measure transformer semantics for Bayesian machine learning","volume":"9","author":"Borgstr\u00f6m J.","year":"2013","unstructured":"J. Borgstr\u00f6m, A. D. Gordon, M. Greenberg, J. Margetson, and J. van Gael. Measure transformer semantics for Bayesian machine learning. LMCS, 9(3):11, 2013.","journal-title":"LMCS"},{"key":"e_1_3_2_1_6_1","volume-title":"A lambda-calculus foundation for universal probabilistic programming. arxiv:1512.08990","author":"Borgstr\u00f6m J.","year":"2015","unstructured":"J. Borgstr\u00f6m, U. Dal Lago, A. D. Gordon, M. Szymczak. A lambda-calculus foundation for universal probabilistic programming. arxiv:1512.08990. 2015."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/1212357"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-3437-9"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1999.2844"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2535838.2535865"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2011.06.011"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0092872"},{"key":"e_1_3_2_1_13_1","volume-title":"UAI","author":"Goodman N.","year":"2008","unstructured":"N. Goodman, V. Mansinghka, D. M. Roy, K. Bonawitz, and J. B. Tenenbaum. Church: a language for generative models. In UAI, 2008."},{"key":"e_1_3_2_1_14_1","volume-title":"FSTTCS","author":"Hur C.","year":"2015","unstructured":"C. Hur, A. V. Nori, S. K. Rajamani, and S. Samuel. A provably correct sampler for probabilistic programs. In FSTTCS, 2015."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/77350.77370"},{"key":"e_1_3_2_1_16_1","volume-title":"CUP","author":"Kelly G. M.","year":"1982","unstructured":"G. M. Kelly. Basic concepts of enriched category theory. CUP, 1982."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01220868"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(81)90036-2"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.5555\/645894.671755"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0890-5401(03)00088-9"},{"key":"e_1_3_2_1_21_1","volume-title":"Venture: a higher-order probabilistic programming platform with programmable inference","author":"Mansinghka V. K.","year":"2014","unstructured":"V. K. Mansinghka, D. Selsam, and Y. N. Perov. Venture: a higher-order probabilistic programming platform with programmable inference. 2014. URL http:\/\/arxiv.org\/abs\/1404.0099."},{"key":"e_1_3_2_1_22_1","volume-title":"Infer.NET 2.4","author":"Minka T.","year":"2010","unstructured":"T. Minka, J. Winn, J. Guiver, and D. Knowles. Infer.NET 2.4, Microsoft Research Cambridge, 2010."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(91)90052-4"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.5555\/22584.24310"},{"key":"e_1_3_2_1_25_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."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1452044.1452048"},{"key":"e_1_3_2_1_27_1","first-page":"35","article-title":"PyMC: Bayesian stochastic modelling","author":"Patil A.","year":"2010","unstructured":"A. Patil, D. Huard, and C. J. Fonnesbeck. PyMC: Bayesian stochastic modelling in Python. Journal of Statistical Software, 35, 2010.","journal-title":"Journal of Statistical Software"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.5555\/373919.373928"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.5555\/646793.704708"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2006.08.006"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/503272.503288"},{"key":"e_1_3_2_1_32_1","volume-title":"ICML Workshop on Nonparametric Bayesian","author":"Roy D. M.","year":"2008","unstructured":"D. M. Roy, V. Mansinghka, N. Goodman, and J. Tenenbaum. A stochastic programming perspective on nonparametric Bayes. In ICML Workshop on Nonparametric Bayesian, 2008."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/2804302.2804317"},{"key":"e_1_3_2_1_34_1","volume-title":"Symbolic Bayesian inference by lazy partial evaluation","author":"Shan C.-C.","year":"2016","unstructured":"C.-C. Shan and N. Ramsey. Symbolic Bayesian inference by lazy partial evaluation, 2016."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-85473-6"},{"key":"e_1_3_2_1_36_1","volume-title":"A C++ library for probability and sampling, version 2.5.0","author":"Team Stan Development","year":"2014","unstructured":"Stan Development Team. Stan: A C++ library for probability and sampling, version 2.5.0, 2014. URL http:\/\/mc-stan.org\/."},{"key":"e_1_3_2_1_37_1","volume-title":"AISTATS","author":"Wood F.","year":"2014","unstructured":"F. Wood, J. W. van de Meent, and V. Mansinghka. A new approach to probabilistic programming inference. In AISTATS, 2014."},{"key":"e_1_3_2_1_38_1","volume-title":"Program transformation for probabilistic programs","author":"Yang H.","year":"2015","unstructured":"H. Yang. Program transformation for probabilistic programs, 2015. Presentation at DALI."}],"event":{"name":"LICS '16: 31st Annual ACM\/IEEE Symposium on Logic in Computer Science","location":"New York NY USA","acronym":"LICS '16","sponsor":["SIGLOG ACM Special Interest Group on Logic and Computation","EACSL European Association for Computer Science Logic","IEEE-CS\\DATC IEEE Computer Society"]},"container-title":["Proceedings of the 31st Annual ACM\/IEEE Symposium on Logic in Computer Science"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2933575.2935313","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2933575.2935313","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2933575.2935313","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T09:45:35Z","timestamp":1763459135000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2933575.2935313"}},"subtitle":["higher-order functions, continuous distributions, and soft constraints"],"short-title":[],"issued":{"date-parts":[[2016,7,5]]},"references-count":38,"alternative-id":["10.1145\/2933575.2935313","10.1145\/2933575"],"URL":"https:\/\/doi.org\/10.1145\/2933575.2935313","relation":{},"subject":[],"published":{"date-parts":[[2016,7,5]]},"assertion":[{"value":"2016-07-05","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}