@inproceedings{DBLP:conf/lics/StatonYWHK16,
  title = "Semantics for probabilistic programming: higher-order functions, continuous distributions, and soft constraints",
  author = "Sam Staton and Hongseok Yang and Frank D. Wood and Chris Heunen and Ohad Kammar",
  year = "2016",
  booktitle = "Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} '16, New York, NY, USA, July 5-8, 2016",
  editor = "Martin Grohe and Eric Koskinen and Natarajan Shankar",
  pages = "525--534",
  publisher = "{ACM}",
  url = "https://doi.org/10.1145/2933575.2935313",
  doi = "10.1145/2933575.2935313",
}