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:29 - 1 self

Documents Related by Co-Citation

59 Stochastic Lambda Calculus and Monads of Probability Distributions – Norman Ramsey, Avi Pfeffer - 2002
59 IBAL: A Probabilistic Rational Programming Language – Avi Pfeffer - 2001
505 Introduction to HOL: a theorem proving environment for higher order logic – M J C Gordon, T F Melham - 1993
857 A formulation of the simple theory of types – Alonzo Church - 1940
1216 Factor Graphs and the Sum-Product Algorithm – Frank R. Kschischang, Brendan J. Frey, Hans-Andrea Loeliger - 1998
544 Probability Theory: The Logic of Science – E T Jaynes - 1996
58 Church: A language for generative models – Noah D. Goodman, Vikash K. Mansinghka, Daniel M. Roy, Keith Bonawitz, Joshua B. Tenenbaum - 2008
721 Types and programming languages – Benjamin C Pierce - 2002
2474 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999