A Convenient Category for Higher-Order Probability Theory

10 January 2017

Papers citing "A Convenient Category for Higher-Order Probability Theory"

5 / 5 papers shown

Title
Semantics for probabilistic programming: higher-order functions, continuous distributions, and soft constraints S. Staton Hongseok Yang C. Heunen Ohad Kammar Frank Wood 36 135 0 19 Jan 2016
A New Approach to Probabilistic Programming Inference Frank Wood Jan-Willem van de Meent Vikash K. Mansinghka 47 345 0 03 Jul 2015
Venture: a higher-order probabilistic programming platform with programmable inference Vikash K. Mansinghka Daniel Selsam Yura N. Perov 48 254 0 01 Apr 2014
Church: a language for generative models Noah D. Goodman Vikash K. Mansinghka Daniel M. Roy Keith Bonawitz J. Tenenbaum 80 814 0 13 Jun 2012
Computable de Finetti measures Cameron E. Freer Daniel M. Roy 63 34 0 06 Dec 2009