Semantics for probabilistic programming: higher-order functions, continuous distributions, and soft constraints.

Sam Staton, Hongseok Yang, Frank D. Wood, Chris Heunen, Ohad Kammar

Browse the full LICS paper archive.