{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,13]],"date-time":"2026-02-13T10:20:55Z","timestamp":1770978055373,"version":"3.50.1"},"publisher-location":"Cham","reference-count":13,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319296036","type":"print"},{"value":"9783319296043","type":"electronic"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"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":[[2016]]},"DOI":"10.1007\/978-3-319-29604-3_5","type":"book-chapter","created":{"date-parts":[[2016,2,20]],"date-time":"2016-02-20T07:53:12Z","timestamp":1455954792000},"page":"62-79","source":"Crossref","is-referenced-by-count":83,"title":["Probabilistic Inference by Program Transformation in Hakaru (System Description)"],"prefix":"10.1007","author":[{"given":"Praveen","family":"Narayanan","sequence":"first","affiliation":[]},{"given":"Jacques","family":"Carette","sequence":"additional","affiliation":[]},{"given":"Wren","family":"Romano","sequence":"additional","affiliation":[]},{"given":"Chung-chieh","family":"Shan","sequence":"additional","affiliation":[]},{"given":"Robert","family":"Zinkov","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,2,21]]},"reference":[{"issue":"5","key":"5_CR1","doi-asserted-by":"crossref","first-page":"509","DOI":"10.1017\/S0956796809007205","volume":"19","author":"JACQUES CARETTE","year":"2009","unstructured":"Carette, J., Kiselyov, O., Shan, C.-c.: Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages. J. Funct. Program. 19(5), 509\u2013543 (2009)","journal-title":"Journal of Functional Programming"},{"key":"5_CR2","unstructured":"Carette, J., Shan, C.-c.: Simplifying probabilistic programs using computer algebra (2015). \n                    http:\/\/www.cs.indiana.edu\/ftp\/techreports\/TR719.pdf"},{"key":"5_CR3","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. 915, pp. 68\u201385. Springer, Heidelberg (1982)"},{"key":"5_CR4","unstructured":"Goodman, N.D., Mansinghka, V.K., Roy, D., Bonawitz, K., Tenenbaum, J.B.: Church: A language for generative models. In: Proceedings of the 24th Conference on Uncertainty in Artificial Intelligence, pp. 220\u2013229. AUAI Press (2008)"},{"key":"5_CR5","unstructured":"Goodman, N.D., Stuhlm\u00fcller, A.: The design and implementation of probabilistic programming languages. \n                    http:\/\/dippl.org\n                    \n                   (2014). Accessed 20 November 2015"},{"key":"5_CR6","doi-asserted-by":"crossref","first-page":"360","DOI":"10.1007\/978-3-642-03034-5_17","volume-title":"Domain-Specific Languages","author":"Oleg Kiselyov","year":"2009","unstructured":"Kiselyov, O., Shan, C.-c.: Embedded probabilistic programming. In: Taha, W.M. (ed.) DSL 2009. LNCS, vol. 5658, pp. 360\u2013384. Springer, Heidelberg (2009)"},{"key":"5_CR7","doi-asserted-by":"crossref","unstructured":"MacKay, D.J.C.: Introduction to Monte Carlo methods. In: Jordan, M.I. (ed.): Learning and Inference in Graphical Models. Kluwer (1998)","DOI":"10.1007\/978-94-011-5014-9_7"},{"key":"5_CR8","unstructured":"Mansinghka, V.K., Selsam, D., Perov, Y.N.: Venture: a higher-order probabilistic programming platform with programmable inference. CoRR abs\/1404.0099 (2014). \n                    http:\/\/arxiv.org\/abs\/org\/abs\/1404.0099"},{"key":"5_CR9","volume-title":"Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference","author":"J Pearl","year":"1988","unstructured":"Pearl, J.: Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference. Morgan Kaufmann, San Francisco (1988). revised 2nd printing (1998)"},{"key":"5_CR10","doi-asserted-by":"crossref","unstructured":"Ramsey, N., Pfeffer, A.: Stochastic lambda calculus and monads of probability distributions. In: Conference Record of the Annual ACM Symposium on Principles of Programming Languages POPL 2002, pp. 154\u2013165. ACM Press (2002)","DOI":"10.1145\/565816.503288"},{"key":"5_CR11","doi-asserted-by":"crossref","unstructured":"\u015acibior, A., Ghahramani, Z., Gordon, A.D.: Practical probabilistic programming with monads. In: Proceedings of the 8th ACM SIGPLAN Symposium on Haskell, pp. 165\u2013176. ACM (2015)","DOI":"10.1145\/2887747.2804317"},{"key":"5_CR12","unstructured":"Shan, C.-c., Ramsey, N.: Symbolic Bayesian inference by lazy partial evaluation (2015). \n                    http:\/\/www.cs.tufts.edu\/~nr\/pubs\/disintegrator-abstract.html"},{"key":"5_CR13","unstructured":"Wood, F., van de Meent, J.W., Mansinghka, V.: A new approach to probabilistic programming inference. In: Proceedings of the 17th International conference on Artificial Intelligence and Statistics, pp. 1024\u20131032 (2014)"}],"container-title":["Lecture Notes in Computer Science","Functional and Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-29604-3_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T10:59:20Z","timestamp":1559386760000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-29604-3_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319296036","9783319296043"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-29604-3_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016]]}}}