{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T10:49:34Z","timestamp":1725619774145},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642242755"},{"type":"electronic","value":"9783642242762"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-24276-2_6","type":"book-chapter","created":{"date-parts":[[2011,10,10]],"date-time":"2011-10-10T14:49:23Z","timestamp":1318258163000},"page":"89-104","source":"Crossref","is-referenced-by-count":1,"title":["From Bayesian Notation to Pure Racket via Discrete Measure-Theoretic Probability in \u03bb ZFC"],"prefix":"10.1007","author":[{"given":"Neil","family":"Toronto","sequence":"first","affiliation":[]},{"given":"Jay","family":"McCarthy","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"6_CR1","unstructured":"Bonawitz, K.A.: Composable Probabilistic Inference with Blaise. Ph.D. thesis, Massachusetts Institute of Technology (2008)"},{"key":"6_CR2","unstructured":"Culpepper, R.: Refining Syntactic Sugar: Tools for Supporting Macro Development. Ph.D. thesis, Northeastern University(2010) (to appear)"},{"key":"6_CR3","unstructured":"Flatt, M.: PLT: Reference: Racket. Tech. Rep. PLT-TR-2010-1, PLT Inc., (2010), http:\/\/racket-lang.org\/tr1\/"},{"key":"6_CR4","unstructured":"Goodman, N., Mansinghka, V., Roy, D., Bonawitz, K., Tenenbaum, J.: Church: a language for generative models. Uncertainty in Artificial Intelligence (2008)"},{"key":"6_CR5","doi-asserted-by":"crossref","unstructured":"Gordon, M.: Higher order logic, set theory or both? In: TPHOLs, Turku, Finland (1996) invited talk","DOI":"10.1007\/BFb0105405"},{"key":"6_CR6","unstructured":"Hurd, J.: Formal Verification of Probabilistic Algorithms. Ph.D. thesis, University of Cambridge (2002)"},{"key":"6_CR7","unstructured":"Jones, C.: Probabilistic Non-Determinism. Ph.D. thesis, University of Edinburgh (1990)"},{"key":"6_CR8","doi-asserted-by":"crossref","unstructured":"Kiselyov, O., Shan, C.: Monolingual probabilistic programming using generalized coroutines. Uncertainty in Artificial Intelligence (2008)","DOI":"10.1007\/978-3-642-03034-5_17"},{"key":"6_CR9","unstructured":"Koller, D., McAllester, D., Pfeffer, A.: Effective Bayesian inference for stochastic programs. In: 14th National Conference on Artificial Intelligence (August 1997)"},{"key":"6_CR10","doi-asserted-by":"crossref","unstructured":"Kozen, D.: Semantics of probabilistic programs. Foundations of Computer Science (1979)","DOI":"10.1109\/SFCS.1979.38"},{"key":"6_CR11","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":"6_CR12","doi-asserted-by":"crossref","unstructured":"Mateescu, R., Dechter, R.: Mixed deterministic and probabilistic networks. Annals of Mathematics and Artificial Intelligence (2008)","DOI":"10.1007\/s10472-009-9132-y"},{"key":"6_CR13","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":"6_CR14","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":"6_CR15","volume-title":"Duelling Idiots and Other Probability Puzzlers","author":"P.J. Nahin","year":"2000","unstructured":"Nahin, P.J.: Duelling Idiots and Other Probability Puzzlers. Princeton University Press, Princeton (2000)"},{"key":"6_CR16","doi-asserted-by":"crossref","unstructured":"Park, S., Pfenning, F., Thrun, S.: A probabilistic language based upon sampling functions. Transactions on Programming Languages and Systems\u00a031(1) (2008)","DOI":"10.1145\/1452044.1452048"},{"key":"6_CR17","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1007\/BF00881873","volume":"11","author":"L.C. Paulson","year":"1993","unstructured":"Paulson, L.C.: Set theory for verification: I. From foundations to functions. Journal of Automated Reasoning\u00a011, 353\u2013389 (1993)","journal-title":"Journal of Automated Reasoning"},{"key":"6_CR18","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1007\/BF00881916","volume":"15","author":"L.C. Paulson","year":"1995","unstructured":"Paulson, L.C.: Set theory for verification: II. Induction and recursion. Journal of Automated Reasoning\u00a015, 167\u2013215 (1995)","journal-title":"Journal of Automated Reasoning"},{"key":"6_CR19","doi-asserted-by":"crossref","unstructured":"Pfeffer, A.: The design and implementation of IBAL: A general-purpose probabilistic language. Statistical Relational Learning (2007)","DOI":"10.7551\/mitpress\/7432.003.0016"},{"key":"6_CR20","doi-asserted-by":"crossref","unstructured":"Ramsey, N., Pfeffer, A.: Stochastic lambda calculus and monads of probability distributions. Principles of Programming Languages (2002)","DOI":"10.1145\/503272.503288"},{"key":"6_CR21","doi-asserted-by":"crossref","unstructured":"Toronto, N., Morse, B.S., Seppi, K., Ventura, D.: Super-resolution via recapture and Bayesian effect modeling. Computer Vision and Pattern Recognition (2009)","DOI":"10.1109\/CVPR.2009.5206691"}],"container-title":["Lecture Notes in Computer Science","Implementation and Application of Functional Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-24276-2_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,13]],"date-time":"2024-04-13T12:59:33Z","timestamp":1713013173000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-24276-2_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642242755","9783642242762"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-24276-2_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}