A probabilistic language based upon sampling functions (2005)

by Sungwoo Park , Frank Pfenning , Sebastian Thrun
Venue:In Conference Record of the 32nd Annual ACM Symposium on Principles of Programming Languages
Citations:26 - 1 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
136 Semantics of probabilistic programs – D Kozen - 1981
129 Blog: Probabilistic models with unknown objects – Brian Milch, Bhaskara Marthi, Stuart Russell, David Sontag, Daniel L. Ong, Andrey Kolobov - 2005
54 Church: A language for generative models – Noah D. Goodman, Vikash K. Mansinghka, Daniel M. Roy, Keith Bonawitz, Joshua B. Tenenbaum - 2008
126 A probabilistic powerdomain of evaluations – C Jones, G D Plotkin - 1989
37 Formal Verification of Probabilistic Algorithms – Joe Hurd - 2002
29 Stochastic processes as concurrent constraint programs – Vineet Gupta, Radha Jagadeesan, Prakash Panangaden - 1999
46 Effective Bayesian Inference for Stochastic Programs – Daphne Koller, David Mcallester, Avi Pfeffer - 1997
854 A formulation of the simple theory of types – Alonzo Church - 1940
1163 Factor Graphs and the Sum-Product Algorithm – Frank R. Kschischang, Brendan J. Frey, Hans-Andrea Loeliger - 1998
502 Introduction to HOL: A theorem proving environment for higher-order logic – Michael J C Gordon, Thomas F Melham - 1993
620 Non-Uniform Random Variate Generation – Luc Devroye - 1986
137 Probabilistic Non-determinism – C Jones - 1990
41 A categorical approach to probability theory – M Giry - 1981
14 Probabilistic Functional Programming in Haskell – Martin Erwig, Steve Kollmansberger
11 Composable Probabilistic Inference with Blaise – Keith A Bonawitz
9 The design and implementation of IBAL: A generalpurpose probabilistic programming language – Avi Pfeffer - 2005
569 Markov Logic Networks – Matthew Richardson, Pedro Domingos - 2006