TY  - RPRT
TI  - Semantics for probabilistic programming: higher-order functions, continuous distributions, and soft constraints
AU  - Sam Staton
AU  - Hongseok Yang
AU  - Chris Heunen
AU  - Ohad Kammar
AU  - Frank Wood
PY  - 2016
DO  - 10.1145/2933575.2935313
UR  - https://arxiv.org/abs/1601.04943
ID  - 1601.04943
ER  -