Semantics of higher-order probabilistic programs with conditioning

28 February 2019

Papers citing "Semantics of higher-order probabilistic programs with conditioning"

3 / 3 papers shown

Title
Checking Trustworthiness of Probabilistic Computations in a Typed Natural Deduction System F. A. DÁsaro Francesco Genco Giuseppe Primiero 50 9 0 26 Jun 2022
A Convenient Category for Higher-Order Probability Theory C. Heunen Ohad Kammar S. Staton Hongseok Yang 53 161 0 10 Jan 2017
Semantics for probabilistic programming: higher-order functions, continuous distributions, and soft constraints S. Staton Hongseok Yang C. Heunen Ohad Kammar Frank Wood 44 136 0 19 Jan 2016