{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T12:17:27Z","timestamp":1763468247775,"version":"3.41.0"},"publisher-location":"Berlin, Heidelberg","reference-count":32,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662466681"},{"type":"electronic","value":"9783662466698"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-662-46669-8_3","type":"book-chapter","created":{"date-parts":[[2015,4,1]],"date-time":"2015-04-01T18:37:37Z","timestamp":1427913457000},"page":"53-79","source":"Crossref","is-referenced-by-count":7,"title":["Running Probabilistic Programs Backwards"],"prefix":"10.1007","author":[{"given":"Neil","family":"Toronto","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jay","family":"McCarthy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Van Horn","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3_CR1","unstructured":"Haskell 98 language and libraries, the revised report (December 2002), http:\/\/www.haskell.org\/onlinereport\/"},{"key":"3_CR2","doi-asserted-by":"crossref","first-page":"614","DOI":"10.1215\/ijm\/1255631584","volume":"5","author":"R.J. Aumann","year":"1961","unstructured":"Aumann, R.J.: Borel structures for function spaces. Illinois Journal of Mathematics\u00a05, 614\u2013630 (1961)","journal-title":"Illinois Journal of Mathematics"},{"key":"3_CR3","unstructured":"Bonawitz, K.A.: Composable Probabilistic Inference with Blaise. Ph.D. thesis, Massachusetts Institute of Technology (2008)"},{"key":"3_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/978-3-642-19718-5_5","volume-title":"Programming Languages and Systems","author":"J. Borgstr\u00f6m","year":"2011","unstructured":"Borgstr\u00f6m, J., Gordon, A.D., Greenberg, M., Margetson, J., Van Gael, J.: Measure transformer semantics for Bayesian machine learning. In: Barthe, G. (ed.) ESOP 2011. LNCS, vol.\u00a06602, pp. 77\u201396. Springer, Heidelberg (2011)"},{"key":"3_CR5","doi-asserted-by":"crossref","unstructured":"Cousot, P., Monerau, M.: Probabilistic abstract interpretation. In: Seidl, H. (ed.) ESOP 2012. LNCS, vol.\u00a07211, pp. 169\u2013193. Springer, Heidelberg (2012)","DOI":"10.1007\/978-3-642-28869-2_9"},{"key":"3_CR6","unstructured":"Darais, D., Might, M., Van Horn, D.: Galois transformers and modular abstract interpreters. CoRR abs\/1411.3962 (2014), http:\/\/arxiv.org\/abs\/1411.3962"},{"key":"3_CR7","unstructured":"DeGroot, M., Schervish, M.: Probability and Statistics. Addison Wesley Publishing Company, Inc. (2012)"},{"key":"3_CR8","unstructured":"Goodman, N., Mansinghka, V., Roy, D., Bonawitz, K., Tenenbaum, J.: Church: A language for generative models. In: Uncertainty in Artificial Intelligence (2008)"},{"key":"3_CR9","doi-asserted-by":"crossref","unstructured":"Gulwani, S., Jojic, N.: Program verification as probabilistic inference. In: Principles of Programming Languages, pp. 277\u2013289 (2007)","DOI":"10.1145\/1190215.1190258"},{"key":"3_CR10","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1016\/S0167-6423(99)00023-4","volume":"37","author":"J. Hughes","year":"2000","unstructured":"Hughes, J.: Generalizing monads to arrows. Science of Computer Programming\u00a037, 67\u2013111 (2000)","journal-title":"Science of Computer Programming"},{"key":"3_CR11","unstructured":"Hurd, J.: Formal Verification of Probabilistic Algorithms. Ph.D. thesis. University of Cambridge (2002)"},{"key":"3_CR12","unstructured":"Jones, C.: Probabilistic Non-Determinism. Ph.D. thesis, Univ. of Edinburgh (1990)"},{"key":"3_CR13","doi-asserted-by":"crossref","unstructured":"Kiselyov, O., Shan, C.: Monolingual probabilistic programming using generalized coroutines. In: Uncertainty in Artificial Intelligence (2008)","DOI":"10.1007\/978-3-642-03034-5_17"},{"key":"3_CR14","unstructured":"Koller, D., McAllester, D., Pfeffer, A.: Effective Bayesian inference for stochastic programs. In: 14th National Conference on Artificial Intelligence (August 1997)"},{"key":"3_CR15","doi-asserted-by":"crossref","unstructured":"Kozen, D.: Semantics of probabilistic programs. In: Foundations of Computer Science (1979)","DOI":"10.1109\/SFCS.1979.38"},{"key":"3_CR16","unstructured":"Lindley, S., Wadler, P., Yallop, J.: Idioms are oblivious, arrows are meticulous, monads are promiscuous. In: Workshop on Mathematically Structured Functional Programming (2008)"},{"key":"3_CR17","doi-asserted-by":"crossref","unstructured":"Lunn, D.J., Thomas, A., Best, N., Spiegelhalter, D.: WinBUGS \u2013 a Bayesian modelling framework. Statistics and Computing\u00a010(4) (2000)","DOI":"10.1023\/A:1008929526011"},{"key":"3_CR18","unstructured":"McAllester, D., Milch, B., Goodman, N.D.: Random-world semantics and syntactic independence for expressive languages. Tech. rep. MIT (2008)"},{"key":"3_CR19","doi-asserted-by":"crossref","unstructured":"McBride, C., Paterson, R.: Applicative programming with effects. Journal of Functional Programming\u00a018(1) (2008)","DOI":"10.1017\/S0956796807006326"},{"key":"3_CR20","unstructured":"Milch, B., Marthi, B., Russell, S., Sontag, D., Ong, D., Kolobov, A.: BLOG: Probabilistic models with unknown objects. In: International Joint Conference on Artificial Intelligence (2005)"},{"key":"3_CR21","unstructured":"Minka, T., Winn, J., Guiver, J., Webster, S., Zaykov, Y., Yangel, B., Spengler, A., Bronskill, J.: Infer.NET 2.6 (2014), http:\/\/research.microsoft.com\/infernet"},{"key":"3_CR22","doi-asserted-by":"crossref","unstructured":"Moggi, E.: Computational lambda-calculus and monads. In: IEEE Symposium on Logic in Computer Science, pp. 14\u201323 (1989)","DOI":"10.1109\/LICS.1989.39155"},{"key":"3_CR23","doi-asserted-by":"crossref","unstructured":"Nori, A.V., Hur, C.K., Rajamani, S.K., Samuel, S.: R2: An efficient MCMC sampler for probabilistic programs. In: AAAI Conference on Artificial Intelligence (2014)","DOI":"10.1609\/aaai.v28i1.9060"},{"key":"3_CR24","doi-asserted-by":"crossref","unstructured":"Pfeffer, A.: The design and implementation of IBAL: A general-purpose probabilistic language. In: Statistical Relational Learning. MIT Press (2007)","DOI":"10.7551\/mitpress\/7432.003.0016"},{"key":"3_CR25","doi-asserted-by":"crossref","unstructured":"Ramsey, N., Pfeffer, A.: Stochastic lambda calculus and monads of probability distributions. In: Principles of Programming Languages (2002)","DOI":"10.1145\/503272.503288"},{"key":"3_CR26","doi-asserted-by":"crossref","unstructured":"Sergey, I., Devriese, D., Might, M., Midtgaard, J., Darais, D., Clarke, D., Piessens, F.: Monadic abstract interpreters. In: Programming Language Design and Implementation, pp. 399\u2013410 (2013)","DOI":"10.1145\/2499370.2491979"},{"key":"3_CR27","doi-asserted-by":"crossref","unstructured":"Tobin-Hochstadt, S., Felleisen, M.: The design and implementation of typed Scheme. In: Principles of Programming Languages, pp. 395\u2013406 (2008)","DOI":"10.1145\/1328897.1328486"},{"key":"3_CR28","unstructured":"Toronto, N.: Trustworthy, Useful Languages for Probabilistic Modeling and Inference. Ph.D. thesis, Brigham Young University (2014), http:\/\/students.cs.byu.edu\/~ntoronto\/dissertation.pdf"},{"key":"3_CR29","doi-asserted-by":"crossref","unstructured":"Toronto, N., McCarthy, J.: Computing in Cantor\u2019s paradise with \u03bb ZFC. In: Functional and Logic Programming Symposium, pp. 290\u2013306 (2012)","DOI":"10.1007\/978-3-642-29822-6_23"},{"key":"3_CR30","doi-asserted-by":"crossref","unstructured":"Veach, E., Guibas, L.J.: Metropolis light transport. In: ACM SIGGRAPH, pp. 65\u201376 (1997)","DOI":"10.1145\/258734.258775"},{"key":"3_CR31","doi-asserted-by":"crossref","unstructured":"Wadler, P.: Monads for functional programming. In: Jeuring, J., Meijer, E. (eds.) Advanced Functional Programming (2001)","DOI":"10.1145\/3262812"},{"key":"3_CR32","unstructured":"Wingate, D., Goodman, N.D., Stuhlm\u00fcller, A., Siskind, J.M.: Nonstandard interpretations of probabilistic programs for efficient inference. In: Neural Information Processing Systems, pp. 1152\u20131160 (2011)"}],"container-title":["Lecture Notes in Computer Science","Programming Languages and Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-46669-8_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,21]],"date-time":"2025-05-21T20:24:15Z","timestamp":1747859055000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-46669-8_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783662466681","9783662466698"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-46669-8_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}