{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,19]],"date-time":"2026-06-19T18:16:17Z","timestamp":1781892977568,"version":"3.54.5"},"publisher-location":"New York, NY, USA","reference-count":45,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100006976","name":"Lilly Endowment","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100006976","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CNS-0723054"],"award-info":[{"award-number":["CNS-0723054"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"name":"DARPA","award":["FA8750-14-2-0007,FA8750-14-C-0002"],"award-info":[{"award-number":["FA8750-14-2-0007,FA8750-14-C-0002"]}]},{"DOI":"10.13039\/100000185","name":"Defense Advanced Research Projects Agency","doi-asserted-by":"publisher","award":["FA8750-14-2-0007,FA8750-14-C-0002"],"award-info":[{"award-number":["FA8750-14-2-0007,FA8750-14-C-0002"]}],"id":[{"id":"10.13039\/100000185","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2017,1]]},"DOI":"10.1145\/3009837.3009852","type":"proceedings-article","created":{"date-parts":[[2016,12,22]],"date-time":"2016-12-22T16:20:29Z","timestamp":1482423629000},"page":"130-144","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":23,"title":["Exact Bayesian inference by symbolic disintegration"],"prefix":"10.1145","author":[{"given":"Chung-chieh","family":"Shan","sequence":"first","affiliation":[{"name":"Indiana University, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Norman","family":"Ramsey","sequence":"additional","affiliation":[{"name":"Tufts University, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2017,1]]},"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","first-page":"28","volume-title":"Roy","author":"Ackerman Nathanael L.","year":"2016","unstructured":"Nathanael L. Ackerman, Cameron E. Freer, and Daniel M. Roy. 2016. On computability and disintegration. Mathematical Structures in Computer Science, pages 1\u201328. Hadi Mohasel Afshar, Scott Sanner, and Christfried Webers. 2016."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/3016100.3016363"},{"issue":"8","key":"e_1_3_2_1_4_1","first-page":"568","article-title":"NETVISA: Network processing vertically integrated seismic analysis. Bulletin of the Seismological Society of America, 103(2A): 709\u2013729. Philippe Audebaud and Christine Paulin-Mohring. 2009. Proofs of randomized algorithms in Coq","volume":"74","author":"Arora Nimar S.","year":"2013","unstructured":"Nimar S. Arora, Stuart Russell, and Erik Sudderth. 2013. NETVISA: Network processing vertically integrated seismic analysis. Bulletin of the Seismological Society of America, 103(2A): 709\u2013729. Philippe Audebaud and Christine Paulin-Mohring. 2009. Proofs of randomized algorithms in Coq. Science of Computer Programming, 74(8):568\u2013589. Robert J. Aumann. 1961. Borel structures for function spaces. Illinois Journal of Mathematics, 5(4):614\u2013630. Joseph Bertrand. 1889. Calcul des Probabilit\u00e9s. Gauthier-Villars et fils, Paris. Sooraj Bhat, Ashish Agarwal, Richard Vuduc, and Alexander Gray. 2012.","journal-title":"Science of Computer Programming"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2103656.2103721"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","unstructured":"Sooraj Bhat Johannes Borgstr\u00f6m Andrew D. Gordon and Claudio V. Russo. 2013. Deriving probability density functions from probabilistic functional programs. In Proceedings of TACAS 2013: 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems number 7795 in Lecture Notes in Computer Science pages 508\u2013522 Berlin. Springer. 10.1007\/978-3-642-36742-7_35","DOI":"10.1007\/978-3-642-36742-7_35"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1863523.1863540"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/141471.141483"},{"key":"e_1_3_2_1_9_1","unstructured":"\u00c9mile Borel. 1909. \u00c9l\u00e9ments de la Th\u00e9orie des Probabilit\u00e9s. Librairie scientifique A. Hermann et fils Paris. Johannes Borgstr\u00f6m Andrew D. Gordon Michael Greenberg James Margetson and Jurgen Van Gael. 2013. Measure transformer semantics for Bayesian machine learning. Logical Methods in Computer Science 9(3:11):1\u201339. Jacques Carette and Chung-chieh Shan. 2016. Simplifying probabilistic programs using computer algebra. In Practical Aspects of Declarative Languages: 18th International Symposium PADL 2016 Lecture Notes in Computer Science pages 135\u2013 152 Berlin. Springer."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/91556.91622"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/236114.236119"},{"key":"e_1_3_2_1_12_1","unstructured":"Jean Dieudonn\u00e9. 1947\u20131948."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2500365.2500582"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.5555\/647424.725801"},{"key":"e_1_3_2_1_15_1","unstructured":"Sebastian Fischer Oleg Kiselyov and Chung-chieh Shan. 2011."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796811000189"},{"key":"e_1_3_2_1_17_1","unstructured":"Nate Foster Kazutaka Matsuda and Janis Voigtl\u00e4nder. 2012."},{"key":"e_1_3_2_1_18_1","series-title":"Lecture Notes in Computer Science","first-page":"46","volume-title":"Generic and Indexed Programming","author":"Three","year":"2010","unstructured":"Three complementary approaches to bidirectional programming. In Generic and Indexed Programming, International Spring School, SSGIP 2010, Revised Lectures, number 7470 in Lecture Notes in Computer Science, pages 1\u201346, Berlin. Springer."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"crossref","unstructured":"Timon Gehr Sasa Misailovic and Martin T. Vechev. 2016. PSI: Exact symbolic inference for probabilistic programs. In Proceedings of the 28th International Conference on Computer Aided Verification Part I number 9779 in Lecture Notes in Computer Science pages 62\u201383 Berlin. Springer.","DOI":"10.1007\/978-3-319-41528-4_4"},{"key":"e_1_3_2_1_20_1","series-title":"Lecture Notes in Mathematics","first-page":"85","volume-title":"Categorical Aspects of Topology and Analysis: Proceedings of an International Conference Held at","author":"Giry Mich\u00e8le","year":"1981","unstructured":"Mich\u00e8le Giry. 1982. A categorical approach to probability theory. In Categorical Aspects of Topology and Analysis: Proceedings of an International Conference Held at Carleton University, Ottawa, August 11\u201315, 1981, number 915 in Lecture Notes in Mathematics, pages 68\u201385, Berlin. Springer."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.5555\/3023476.3023503"},{"key":"e_1_3_2_1_22_1","volume-title":"Goodman and Andreas Stuhlm\u00fcller","author":"Noah","year":"2014","unstructured":"Noah D. Goodman and Andreas Stuhlm\u00fcller. 2014. The design and implementation of probabilistic programming languages. http:\/\/dippl.org. Accessed: 2016-11-04. Carl A. Gunter, Didier R\u00e9my, and Jon G. Riecke. 1998. Return types for functional continuations."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/143165.143220"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-03034-5_17"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1159803.1159808"},{"key":"e_1_3_2_1_26_1","volume-title":"Chelsea","author":"Kolmogorov Andrey Nikolaevich","year":"1933","unstructured":"Andrey Nikolaevich Kolmogorov. 1933. Grundbegriffe der Wahrscheinlichkeitsrechnung. Springer, Berlin. English translation Foundations of the Theory of Probability, Chelsea, New York, 1950."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(81)90036-2"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/158511.158618"},{"key":"e_1_3_2_1_29_1","volume-title":"Lawall and Olivier Danvy","author":"Julia","year":"1994","unstructured":"Julia L. Lawall and Olivier Danvy. 1994."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/182409.182483"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.5555\/308574.308666"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/1291201.1291211"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/1863543.1863588"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/2951913.2951922"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-29604-3_5"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.5555\/2892753.2892895"},{"key":"e_1_3_2_1_37_1","unstructured":"Sungwoo Park Frank Pfenning and Sebastian Thrun. 2008."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/1452044.1452048"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/503272.503288"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/99583.99627"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993557"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/2933575.2935313"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.5555\/540155"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1214\/aoap\/1027961031"},{"key":"e_1_3_2_1_45_1","first-page":"778","volume-title":"Proceedings of AISTATS 2011: 14th International Conference on Artificial Intelligence and Statistics, number 15 in JMLR Workshop and Conference Proceedings","author":"Wingate David","unstructured":"David Wingate, Andreas Stuhlm\u00fcller, and Noah D. Goodman. 2011. Lightweight implementations of probabilistic programming languages via transformational compilation. In Proceedings of AISTATS 2011: 14th International Conference on Artificial Intelligence and Statistics, number 15 in JMLR Workshop and Conference Proceedings, pages 770\u2013778, Cambridge. MIT Press."}],"event":{"name":"POPL '17: The 44th Annual ACM SIGPLAN Symposium on Principles of Programming Languages","location":"Paris France","acronym":"POPL '17","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGLOG ACM Special Interest Group on Logic and Computation","SIGACT ACM Special Interest Group on Algorithms and Computation Theory"]},"container-title":["Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3009837.3009852","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3009837.3009852","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3009837.3009852","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T09:42:54Z","timestamp":1763458974000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3009837.3009852"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,1]]},"references-count":45,"alternative-id":["10.1145\/3009837.3009852","10.1145\/3009837"],"URL":"https:\/\/doi.org\/10.1145\/3009837.3009852","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/3093333.3009852","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2017,1]]},"assertion":[{"value":"2017-01-01","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}