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

Active Bibliography

26 A probabilistic language based upon sampling functions – Sungwoo Park, Frank Pfenning, Sebastian Thrun - 2005
1 A Programming Language for Probabilistic Computation – Sungwoo Park, Geoffrey Gordon, Robert Harper - 2005
9 A probabilistic language based on sampling functions – Sungwoo Park, Frank Pfenning - 2006
15 Proofs of randomized algorithms in Coq – Christine Paulin-mohring
34 Practical Refinement-Type Checking – Rowan Davies, Frank Pfenning - 1997
22 Monte Carlo Hidden Markov Models: Learning Non-Parametric Models of Partially Observable Stochastic Processes – Sebastian Thrun, John C. Langford, Dieter Fox - 1999
8 Monte Carlo Hidden Markov Models – Sebastian Thrun, John Langford - 1998
153 Probabilistic Algorithms and the Interactive Museum Tour-Guide Robot Minerva – S. Thrun, M. Beetz, M. Bennewitz, W. Burgard, A.B. Cremers, F. Dellaert, D. Fox, D. Hähnel, C. Rosenberg, N. Roy, J. Schulte, D. Schulz - 2000
1 The Weakest Completion Approach to the Probabilistic Semantics – He Jifeng, C. C. Morgan, A. K. Mciver - 2000
Semantics of Binary Choice Constructs – Reinhold Heckmann, Dr. Reinhold Heckmann, Probabilistic Power Domains, Information Systems
19 Combining Computational Effects: Commutativity and Sum – Martin Hyland, Gordon Plotkin, John Power - 2002
26 Computational Effects and Operations: An Overview – Gordon Plotkin, John Power - 2004
10 Semantics for Algebraic Operations – Gordon Plotkin, John Power - 2001
29 Combining effects: sum and tensor – Martin Hyland, Gordon Plotkin, John Power
30 Adequacy for algebraic effects – Gordon Plotkin, Matija Pretnar - 2001
54 Notions of Computation Determine Monads – Gordon Plotkin, John Power - 2002
32 Algebraic Operations and Generic Effects – Gordon Plotkin, John Power - 2003
A Modal Language for Effects – Sungwoo Park, Robert Harper - 2004
A Logical View of Effects – Sungwoo Park , Robert Harper