{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,25]],"date-time":"2026-10-25T21:26:04Z","timestamp":1792963564822,"version":"4.5.0"},"reference-count":40,"publisher":"Association for Computing Machinery (ACM)","issue":"1","license":[{"start":{"date-parts":[[2008,12,1]],"date-time":"2008-12-01T00:00:00Z","timestamp":1228089600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Program. Lang. Syst."],"published-print":{"date-parts":[[2008,12]]},"abstract":"<jats:p>\n            As probabilistic computations play an increasing role in solving various problems, researchers have designed probabilistic languages which treat probability distributions as primitive datatypes. Most probabilistic languages, however, focus only on discrete distributions and have limited expressive power. This article presents a probabilistic language, called \u03bb\n            <jats:sub>\u25cb<\/jats:sub>\n            , whose expressive power is beyond discrete distributions. Rich expressiveness of \u03bb\n            <jats:sub>\u25cb<\/jats:sub>\n            is due to its use of\n            <jats:italic>sampling functions<\/jats:italic>\n            , that is, mappings from the unit interval (0.0,1.0] to probability domains, in specifying probability distributions. As such, \u03bb\n            <jats:sub>\u25cb<\/jats:sub>\n            enables programmers to formally express and reason about sampling methods developed in simulation theory. The use of \u03bb\n            <jats:sub>\u25cb<\/jats:sub>\n            is demonstrated with three applications in robotics: robot localization, people tracking, and robotic mapping. All experiments have been carried out with real robots.\n          <\/jats:p>","DOI":"10.1145\/1452044.1452048","type":"journal-article","created":{"date-parts":[[2008,12,10]],"date-time":"2008-12-10T15:32:31Z","timestamp":1228923151000},"page":"1-46","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":40,"title":["A probabilistic language based on sampling functions"],"prefix":"10.1145","volume":"31","author":[{"given":"Sungwoo","family":"Park","sequence":"first","affiliation":[{"name":"Pohang University of Science and Technology"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Frank","family":"Pfenning","sequence":"additional","affiliation":[{"name":"Carnegie Mellon University"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sebastian","family":"Thrun","sequence":"additional","affiliation":[{"name":"Stanford University"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2008,12,12]]},"reference":[{"key":"e_1_2_1_1_1","unstructured":"Bratley P. Fox B. and Schrage L. 1996. A Guide to Simulation 2nd Ed. Springer-Verlag.   Bratley P. Fox B. and Schrage L. 1996. A Guide to Simulation 2nd Ed. Springer-Verlag."},{"key":"e_1_2_1_2_1","volume-title":"Statistical Language Learning","author":"Charniak E.","unstructured":"Charniak , E. 1993. Statistical Language Learning . MIT Press , Cambridge, MA . Charniak, E. 1993. Statistical Language Learning. MIT Press, Cambridge, MA."},{"key":"e_1_2_1_3_1","volume-title":"Non-Uniform Random Variate Generation","author":"Devroye L.","unstructured":"Devroye , L. 1986. Non-Uniform Random Variate Generation . Springer-Verlag . Devroye, L. 1986. Non-Uniform Random Variate Generation. Springer-Verlag."},{"key":"e_1_2_1_4_1","doi-asserted-by":"crossref","unstructured":"Doucet A. de Freitas N. and Gordon N. 2001. Sequential Monte Carlo Methods in Practice. Springer-Verlag.  Doucet A. de Freitas N. and Gordon N. 2001. Sequential Monte Carlo Methods in Practice. Springer-Verlag.","DOI":"10.1007\/978-1-4757-3437-9"},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/3013545.3013556"},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1137\/0206049"},{"key":"e_1_2_1_7_1","volume-title":"Categorical Aspects of Topology and Analysis","author":"Giry M.","unstructured":"Giry , M. 1981. A categorical approach to probability theory . In Categorical Aspects of Topology and Analysis , B. Banaschewski, Ed. Lecture Notes In Mathematics, vol. 915 . Springer-Verlag , 68--85. Giry, M. 1981. A categorical approach to probability theory. In Categorical Aspects of Topology and Analysis, B. Banaschewski, Ed. Lecture Notes In Mathematics, vol. 915. Springer-Verlag, 68--85."},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/292540.292558"},{"key":"e_1_2_1_9_1","doi-asserted-by":"crossref","unstructured":"Henrion M. 1988. Propagation of uncertainty in Bayesian networks by probabilistic logic sampling. In Uncertainty in Artificial Intelligence 2 J. F. Lemmer and L. N. Kanal Eds. Elsevier\/North-Holland 149--163.  Henrion M. 1988. Propagation of uncertainty in Bayesian networks by probabilistic logic sampling. In Uncertainty in Artificial Intelligence 2 J. F. Lemmer and L. N. Kanal Eds. Elsevier\/North-Holland 149--163.","DOI":"10.1016\/B978-0-444-70396-5.50019-4"},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008078328650"},{"key":"e_1_2_1_11_1","volume-title":"Stochastic Processes and Filtering Theory","author":"Jazwinski A. H.","unstructured":"Jazwinski , A. H. 1970. Stochastic Processes and Filtering Theory . Academic Press , New York, NY . Jazwinski, A. H. 1970. Stochastic Processes and Filtering Theory. Academic Press, New York, NY."},{"key":"e_1_2_1_12_1","volume-title":"Statistical Methods for Speech Recognition (Language, Speech, and Communication)","author":"Jelinek F.","unstructured":"Jelinek , F. 1998. Statistical Methods for Speech Recognition (Language, Speech, and Communication) . MIT Press , Cambridge, MA . Jelinek, F. 1998. Statistical Methods for Speech Recognition (Language, Speech, and Communication). MIT Press, Cambridge, MA."},{"key":"e_1_2_1_14_1","volume-title":"Proceedings of the 14th National Conference on Artificial Intelligence and 9th Innovative Applications of Artificial Intelligence Conference. AAAI Press, 740--747","author":"Koller D.","unstructured":"Koller , D. , McAllester , D. , and Pfeffer , A . 1997. Effective Bayesian inference for stochastic programs . In Proceedings of the 14th National Conference on Artificial Intelligence and 9th Innovative Applications of Artificial Intelligence Conference. AAAI Press, 740--747 . Koller, D., McAllester, D., and Pfeffer, A. 1997. Effective Bayesian inference for stochastic programs. In Proceedings of the 14th National Conference on Artificial Intelligence and 9th Innovative Applications of Artificial Intelligence Conference. AAAI Press, 740--747."},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(81)90036-2"},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01018827"},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796800003683"},{"key":"e_1_2_1_18_1","volume-title":"Learning in Graphical Models","author":"MacKay D. J. C.","unstructured":"MacKay , D. J. C. 1998. Introduction to Monte Carlo methods . In Learning in Graphical Models , M. I. Jordan, Ed. NATO Science Series. Kluwer Academic Press , 175--204. MacKay, D. J. C. 1998. Introduction to Monte Carlo methods. In Learning in Graphical Models, M. I. Jordan, Ed. NATO Science Series. Kluwer Academic Press, 175--204."},{"key":"e_1_2_1_19_1","first-page":"11","article-title":"On the meanings of the logical constants and the justifications of the logical laws","volume":"1","author":"Martin-L\u00f6f P.","year":"1996","unstructured":"Martin-L\u00f6f , P. 1996 . On the meanings of the logical constants and the justifications of the logical laws . Nordic J. Phil. Logic 1 , 1, 11 -- 60 . Martin-L\u00f6f, P. 1996. On the meanings of the logical constants and the justifications of the logical laws. Nordic J. Phil. Logic 1, 1, 11--60.","journal-title":"Nordic J. Phil. Logic"},{"key":"e_1_2_1_20_1","volume-title":"Roll: A language for specifying die-rolls. In Proceedings of the 5th International Symposium on Practical Aspects of Declarative Languages","author":"Mogensen T.","year":"2002","unstructured":"Mogensen , T. 2002 . Roll: A language for specifying die-rolls. In Proceedings of the 5th International Symposium on Practical Aspects of Declarative Languages , V. Dahl and P. Wadler, Eds. Lecture Notes in Computer Science, vol. 2562 . Springer , 145--159. Mogensen, T. 2002. Roll: A language for specifying die-rolls. In Proceedings of the 5th International Symposium on Practical Aspects of Declarative Languages, V. Dahl and P. Wadler, Eds. Lecture Notes in Computer Science, vol. 2562. Springer, 145--159."},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.5555\/77350.77353"},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(91)90052-4"},{"key":"e_1_2_1_24_1","unstructured":"Montemerlo M. Roy N. and Thrun S. CARMEN: Carnegie Mellon Robot Navigation Toolkit. http:\/\/www.cs.cmu.edu\/~carmen\/.  Montemerlo M. Roy N. and Thrun S. CARMEN: Carnegie Mellon Robot Navigation Toolkit. http:\/\/www.cs.cmu.edu\/~carmen\/."},{"key":"e_1_2_1_25_1","volume-title":"Proceedings of the IEEE International Conference on Robotics and Automation (ICRA). 695--701","author":"Montemerlo M.","unstructured":"Montemerlo , M. , Whittaker , W. , and Thrun , S . 2002. Conditional particle filters for simultaneous mobile robot localization and people-tracking . In Proceedings of the IEEE International Conference on Robotics and Automation (ICRA). 695--701 . Montemerlo, M., Whittaker, W., and Thrun, S. 2002. Conditional particle filters for simultaneous mobile robot localization and people-tracking. In Proceedings of the IEEE International Conference on Robotics and Automation (ICRA). 695--701."},{"key":"e_1_2_1_26_1","doi-asserted-by":"crossref","unstructured":"Motwani R. and Raghavan P. 1995. Randomized Algorithms. Cambridge University Press Cambridge UK.   Motwani R. and Raghavan P. 1995. Randomized Algorithms. Cambridge University Press Cambridge UK.","DOI":"10.1017\/CBO9780511814075"},{"key":"e_1_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/604174.604180"},{"key":"e_1_2_1_28_1","volume-title":"Engineering Theories of Software Construction","author":"Peyton Jones S. L.","unstructured":"Peyton Jones , S. L. 2001. Tackling the awkward squad: monadic input\/output, concurrency, exceptions, and foreign-language calls in Haskell . In Engineering Theories of Software Construction , C. A. R. Hoare, M. Broy, and R. Steinbr\u00fcggen, Eds. IOS Press, Amsterdam , The Netherlands . Peyton Jones, S. L. 2001. Tackling the awkward squad: monadic input\/output, concurrency, exceptions, and foreign-language calls in Haskell. In Engineering Theories of Software Construction, C. A. R. Hoare, M. Broy, and R. Steinbr\u00fcggen, Eds. IOS Press, Amsterdam, The Netherlands."},{"key":"e_1_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/158511.158524"},{"key":"e_1_2_1_30_1","volume-title":"Proceedings of the 17th International Joint Conference on Artificial Intelligence (IJCAI'01)","author":"Pfeffer A.","year":"2001","unstructured":"Pfeffer , A. 2001 . IBAL: A probabilistic rational programming language . In Proceedings of the 17th International Joint Conference on Artificial Intelligence (IJCAI'01) , B. Nebel, Ed. Morgan Kaufmann Publishers, Inc., 733--740. Pfeffer, A. 2001. IBAL: A probabilistic rational programming language. In Proceedings of the 17th International Joint Conference on Artificial Intelligence (IJCAI'01), B. Nebel, Ed. Morgan Kaufmann Publishers, Inc., 733--740."},{"key":"e_1_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129501003322"},{"key":"e_1_2_1_32_1","volume-title":"Proceedings of the 17th Conference on Uncertainty in Artificial Intelligence (UAI'01)","author":"Pless D.","unstructured":"Pless , D. and Luger , G . 2001. Toward general analysis of recursive probability models . In Proceedings of the 17th Conference on Uncertainty in Artificial Intelligence (UAI'01) , J. Breese and D. Koller, Eds. Morgan Kaufmann Publishers, 429--436. Pless, D. and Luger, G. 2001. Toward general analysis of recursive probability models. In Proceedings of the 17th Conference on Uncertainty in Artificial Intelligence (UAI'01), J. Breese and D. Koller, Eds. Morgan Kaufmann Publishers, 429--436."},{"key":"e_1_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/5.18626"},{"key":"e_1_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/503272.503288"},{"key":"e_1_2_1_35_1","volume-title":"Real and Complex Analysis","author":"Rudin W.","unstructured":"Rudin , W. 1986. Real and Complex Analysis 3 rd Ed. McGraw-Hill , New York, NY . Rudin, W. 1986. Real and Complex Analysis 3rd Ed. McGraw-Hill, New York, NY.","edition":"3"},{"key":"e_1_2_1_36_1","volume-title":"Artificial Intelligence: A Modern Approach","author":"Russell S.","year":"1995","unstructured":"Russell , S. and Norvig , P . 1995 . Artificial Intelligence: A Modern Approach . Prentice Hall . Russell, S. and Norvig, P. 1995. Artificial Intelligence: A Modern Approach. Prentice Hall."},{"key":"e_1_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/267959.269968"},{"key":"e_1_2_1_38_1","volume-title":"Proceedings of the 7th Symposium on Mathematical Foundations of Computer Science","author":"Saheb-Djahromi N.","unstructured":"Saheb-Djahromi , N. 1978. Probabilistic LCF . In Proceedings of the 7th Symposium on Mathematical Foundations of Computer Science , J. Winkowski, Ed. Lecture Notes in Computer Science, vol. 64 . Springer , 442--451. Saheb-Djahromi, N. 1978. Probabilistic LCF. In Proceedings of the 7th Symposium on Mathematical Foundations of Computer Science, J. Winkowski, Ed. Lecture Notes in Computer Science, vol. 64. Springer, 442--451."},{"key":"e_1_2_1_39_1","first-page":"93","article-title":"Probabilistic algorithms in robotics","volume":"21","author":"Thrun S.","year":"2000","unstructured":"Thrun , S. 2000 a. Probabilistic algorithms in robotics . AI Mag. 21 , 4, 93 -- 109 . Thrun, S. 2000a. Probabilistic algorithms in robotics. AI Mag. 21, 4, 93--109.","journal-title":"AI Mag."},{"key":"e_1_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2000.844075"},{"key":"e_1_2_1_41_1","volume-title":"Exploring Artificial Intelligence in the New Millenium","author":"Thrun S.","unstructured":"Thrun , S. 2002. Robotic mapping: A survey . In Exploring Artificial Intelligence in the New Millenium , G. Lakemeyer and B. Nebel, Eds. Morgan Kaufmann . Thrun, S. 2002. Robotic mapping: A survey. In Exploring Artificial Intelligence in the New Millenium, G. Lakemeyer and B. Nebel, Eds. Morgan Kaufmann."},{"key":"e_1_2_1_42_1","unstructured":"Welch G. and Bishop G. 1995. An introduction to the Kalman filter. Tech. rep. TR95-041 Department of Computer Science University of North Carolina\u2014Chapel Hill.   Welch G. and Bishop G. 1995. An introduction to the Kalman filter. Tech. rep. TR95-041 Department of Computer Science University of North Carolina\u2014Chapel Hill."}],"container-title":["ACM Transactions on Programming Languages and Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1452044.1452048","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1452044.1452048","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T13:30:06Z","timestamp":1750253406000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1452044.1452048"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,12]]},"references-count":40,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2008,12]]}},"alternative-id":["10.1145\/1452044.1452048"],"URL":"https:\/\/doi.org\/10.1145\/1452044.1452048","relation":{},"ISSN":["0164-0925","1558-4593"],"issn-type":[{"value":"0164-0925","type":"print"},{"value":"1558-4593","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,12]]},"assertion":[{"value":"2008-01-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2008-04-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2008-12-12","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}