A probabilistic language based on sampling functions (2006)

Cached

Download Links

by Sungwoo Park , Frank Pfenning
Venue:ACM Transactions on Programming Languages and Systems
Citations:9 - 0 self

Active Bibliography

1 A Programming Language for Probabilistic Computation – Sungwoo Park, Geoffrey Gordon, Robert Harper - 2005
26 A probabilistic language based upon sampling functions – Sungwoo Park, Frank Pfenning, Sebastian Thrun - 2005
10 A Monadic Probabilistic Language – Sungwoo Park, Frank Pfenning, Sebastian Thrun - 2003
288 Robotic mapping: A survey – Sebastian Thrun
A Modal Language for Effects – Sungwoo Park, Robert Harper - 2004
A Logical View of Effects – Sungwoo Park , Robert Harper
564 Dynamic Bayesian Networks: Representation, Inference and Learning – Kevin Patrick Murphy - 2002
List of Tables...................................... viii – Haohai Yu, Michael V. Mascagni, Xiuwen Liu - 2011
2 Implicit and noncomputational arguments using monads – Pierre Letouzey, Bas Spitters - 2005
6 A Modal Calculus for Effect Handling – Aleksandar Nanevski - 2003
67 Polymorphism and separation in Hoare type theory – Aleksandar Nanevski, Greg Morrisett, Lars Birkedal - 2006
42 Abstract predicates and mutable ADTs in Hoare type theory – Aleksandar Nanevski, Amal Ahmed, Greg Morrisett, Lars Birkedal - 2007
96 How to Declare an Imperative – Philip Wadler - 1995
92 The Marriage of Effects and Monads – Philip Wadler, Peter Thiemann - 1998
32 Transactional Events – Kevin Donnelly, Matthew Fluet - 2008
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
Approved by the Graduate Council Date – Joseph J. Laviola, David H. Laidlaw, Robert C. Zeleznik, William A. S. Buxton, Peder J. Estrup
8 Whole-Hand and Speech Input in Virtual Environments – Joseph J. Laviola, Jr., David H. Laidlaw, Robert C. Zeleznik, William A. S. Buxton, Peder J. Estrup - 1999
8 Monte Carlo Hidden Markov Models – Sebastian Thrun, John Langford - 1998