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

1 A Programming Language for Probabilistic Computation – Sungwoo Park, Geoffrey Gordon, Robert Harper - 2005
19 A probabilistic language based upon sampling functions – Sungwoo Park, Frank Pfenning, Sebastian Thrun - 2005
7 A probabilistic language based on sampling functions – Sungwoo Park, Frank Pfenning - 2006
A Logical View of Effects – Sungwoo Park , Robert Harper
A Modal Language for Effects – Sungwoo Park, Robert Harper - 2004
25 Practical Refinement-Type Checking – Rowan Davies, Frank Pfenning - 1997
128 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
7 Categorical and Kripke Semantics for Constructive Modal Logics – Natasha Alechina, Michael Mendler, Valeria De Paiva, Eike Ritter - 2001
15 Categorical and Kripke Semantics for Constructive S4 Modal Logic – Natasha Alechina, Michael Mendler, Valeria De Paiva, Eike Ritter - 2001
1 The Weakest Completion Approach to the Probabilistic Semantics – He Jifeng, C. C. Morgan, A. K. Mciver - 2000
60 A concurrent logical framework I: Judgments and properties – Kevin Watkins, Iliano Cervesato, Frank Pfenning, David Walker - 2003
143 A Judgmental Reconstruction of Modal Logic – Frank Pfenning, Rowan Davies - 1999
Semantics of Binary Choice Constructs – Reinhold Heckmann, Dr. Reinhold Heckmann, Probabilistic Power Domains, Information Systems
18 Combining Computational Effects: Commutativity and Sum – Martin Hyland, Gordon Plotkin, John Power - 2002
22 Computational Effects and Operations: An Overview – Gordon Plotkin, John Power - 2004
9 Semantics for Algebraic Operations – Gordon Plotkin, John Power - 2001
23 Combining effects: sum and tensor – Martin Hyland, Gordon Plotkin, John Power
29 Adequacy for algebraic effects – Gordon Plotkin, Matija Pretnar - 2001
43 Notions of Computation Determine Monads – Gordon Plotkin, John Power - 2002