A Monadic Probabilistic Language (2003)

by Sungwoo Park , Frank Pfenning , Sebastian Thrun
Venue:In Proceedings of the 2003 ACM SIGPLAN international workshop on Types in languages design and implementation
Citations:10 - 5 self

Documents Related by Co-Citation

56 Stochastic Lambda Calculus and Monads of Probability Distributions – Norman Ramsey, Avi Pfeffer - 2002
58 IBAL: A Probabilistic Rational Programming Language – Avi Pfeffer - 2001
22 Towards Programming Tools for Robots That Integrate Probabilistic Computation and Learning – Sebastian Thrun - 2000
224 Computational Complexity of Probabilistic Turing Machines – J Gill - 1977
160 A Judgmental Reconstruction of Modal Logic – Frank Pfenning, Rowan Davies - 1999
11 Probabilistic LCF – N Saheb-Djahromi - 1978
46 Effective Bayesian Inference for Stochastic Programs – Daphne Koller, David Mcallester, Avi Pfeffer - 1997
137 Probabilistic Non-determinism – C Jones - 1990
439 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
29 Stochastic processes as concurrent constraint programs – Vineet Gupta, Radha Jagadeesan, Prakash Panangaden - 1999
41 A categorical approach to probability theory – M Giry - 1981
136 Semantics of probabilistic programs – D Kozen - 1981
3678 Artificial Intelligence: A Modern Approach – S Russell, P Norvig - 2003
730 Notions of Computation and Monads – Eugenio Moggi - 1991
10 Toward General Analysis of Recursive Probability Models – D Pless, G F Luger - 2001
5 Roll: A language for specifying die-rolls – Torben Mogensen - 2002
283 Markov Localization for Mobile Robots in Dynamic Environments – Dieter Fox, Wolfram Burgard, Sebastian Thrun - 1999
288 Robotic mapping: A survey – Sebastian Thrun
890 Sequential Monte Carlo methods in practice – A Doucet, N De Freitas, N Gordon - 2001