{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,30]],"date-time":"2026-08-30T01:04:12Z","timestamp":1788051852902,"version":"build-2784847793"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642367410","type":"print"},{"value":"9783642367427","type":"electronic"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-36742-7_35","type":"book-chapter","created":{"date-parts":[[2013,2,18]],"date-time":"2013-02-18T14:41:56Z","timestamp":1361198516000},"page":"508-522","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":38,"title":["Deriving Probability Density Functions from Probabilistic Functional Programs"],"prefix":"10.1007","author":[{"given":"Sooraj","family":"Bhat","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Johannes","family":"Borgstr\u00f6m","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Andrew D.","family":"Gordon","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Claudio","family":"Russo","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"35_CR1","doi-asserted-by":"crossref","unstructured":"Bhat, S., Agarwal, A., Vuduc, R.W., Gray, A.G.: A type theory for probability density functions. In: Field, J., Hicks, M. (eds.) POPL, pp. 545\u2013556. ACM (2012)","DOI":"10.1145\/2103621.2103721"},{"key":"35_CR2","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), \n                    \n                      http:\/\/research.microsoft.com\/fun"},{"key":"35_CR3","doi-asserted-by":"publisher","first-page":"169","DOI":"10.2307\/2348941","volume":"43","author":"W.R. Gilks","year":"1994","unstructured":"Gilks, W.R., Thomas, A., Spiegelhalter, D.J.: A language and program for complex Bayesian modelling. The Statistician\u00a043, 169\u2013178 (1994)","journal-title":"The Statistician"},{"key":"35_CR4","series-title":"Lecture Notes in Mathematics","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1007\/BFb0092872","volume-title":"Categorical Aspects of Topology and Analysis","author":"M. Giry","year":"1982","unstructured":"Giry, M.: A categorical approach to probability theory. In: Banaschewski, B. (ed.) Categorical Aspects of Topology and Analysis. Lecture Notes in Mathematics, vol.\u00a0915, pp. 68\u201385. Springer, Heidelberg (1982)"},{"key":"35_CR5","doi-asserted-by":"crossref","unstructured":"Gordon, A.D., Aizatulin, M., Borgstr\u00f6m, J., Claret, G., Graepel, T., Nori, A., Rajamani, S., Russo, C.: A model-learner pattern for Bayesian reasoning. In: POPL (2013)","DOI":"10.1145\/2429069.2429119"},{"key":"35_CR6","doi-asserted-by":"crossref","unstructured":"Griewank, A., Walther, A.: Evaluating Derivatives: Principles and Techniques of Algorithmic Differentiation, 2nd edn. SIAM (2008)","DOI":"10.1137\/1.9780898717761"},{"key":"35_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"360","DOI":"10.1007\/978-3-642-03034-5_17","volume-title":"Domain-Specific Languages","author":"O. Kiselyov","year":"2009","unstructured":"Kiselyov, O., Shan, C.-C.: Embedded Probabilistic Programming. In: Taha, W.M. (ed.) DSL 2009. LNCS, vol.\u00a05658, pp. 360\u2013384. Springer, Heidelberg (2009)"},{"issue":"3","key":"35_CR8","doi-asserted-by":"publisher","first-page":"248","DOI":"10.1111\/j.2041-210X.2010.00077.x","volume":"2","author":"G. McInerny","year":"2011","unstructured":"McInerny, G., Purves, D.: Fine-scale environmental variation in species distribution modelling: regression dilution, latent variables and neighbourly advice. Methods in Ecology and Evolution\u00a02(3), 248\u2013257 (2011)","journal-title":"Methods in Ecology and Evolution"},{"key":"35_CR9","unstructured":"Neal, R.M.: Probabilistic inference using Markov chain Monte Carlo methods. Technical Report CRG-TR-93-1, Dept. of Computer Science, University of Toronto (September 1993)"},{"key":"35_CR10","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1016\/S1571-0661(05)80602-4","volume":"22","author":"P. Panangaden","year":"1999","unstructured":"Panangaden, P.: The category of Markov kernels. Electronic Notes in Theoretical Computer Science\u00a022, 171\u2013187 (1999)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"35_CR11","unstructured":"Purves, D., Lyutsarev, V.: Filzbach User Guide (2012), \n                    \n                      http:\/\/research.microsoft.com\/en-us\/um\/cambridge\/groups\/science\/tools\/filzbach\/filzbach.htm"},{"key":"35_CR12","doi-asserted-by":"crossref","unstructured":"Ramsey, N., Pfeffer, A.: Stochastic lambda calculus and monads of probability distributions. In: POPL, pp. 154\u2013165 (2002)","DOI":"10.1145\/565816.503288"},{"key":"35_CR13","unstructured":"Schumann, J., Pressburger, T., Denney, E., Buntine, W., Fischer, B.: AutoBayes program synthesis system users manual. Technical Report NASA\/TM\u20132008\u2013215366, NASA Ames Research Center (2008)"},{"key":"35_CR14","doi-asserted-by":"publisher","first-page":"13439","DOI":"10.5194\/bgd-9-13439-2012","volume":"9","author":"M.J. Smith","year":"2012","unstructured":"Smith, M.J., Vanderwel, M.C., Lyutsarev, V., Emmott, S., Purves, D.W.: The climate dependence of the terrestrial carbon cycle; including parameter and structural uncertainties. Biogeosciences Discussions\u00a09, 13439\u201313496 (2012)","journal-title":"Biogeosciences Discussions"},{"key":"35_CR15","doi-asserted-by":"crossref","unstructured":"Syme, D., Granicz, A., Cisternino, A.: Expert F#. Apress (2007)","DOI":"10.1007\/978-1-4302-0285-1"},{"key":"35_CR16","unstructured":"Wingate, D., Stuhlmueller, A., Goodman, N.: Lightweight implementations of probabilistic programming languages via transformational compilation. In: Proceedings of the 14th Intl. Conf. on Artificial Intelligence and Statistics, p. 131 (2011)"}],"container-title":["Lecture Notes in Computer Science","Tools and Algorithms for the Construction and Analysis of Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-36742-7_35","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,5,31]],"date-time":"2020-05-31T20:05:53Z","timestamp":1590955553000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-36742-7_35"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642367410","9783642367427"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-36742-7_35","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013]]},"assertion":[{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}