@inproceedings{staton-2016-semantics, series={LICS ’16}, title={Semantics for probabilistic programming: higher-order functions, continuous distributions, and soft constraints}, url={http://dx.doi.org/10.1145/2933575.2935313}, DOI={10.1145/2933575.2935313}, booktitle={Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science}, publisher={ACM}, author={Staton, Sam and Yang, Hongseok and Wood, Frank and Heunen, Chris and Kammar, Ohad}, year={2016}, month=July, pages={525–534}, collection={LICS ’16} }