staton-2016-semantics:
  type: article
  title: 'Semantics for probabilistic programming: higher-order functions, continuous distributions, and soft constraints'
  author:
  - Staton, Sam
  - Yang, Hongseok
  - Wood, Frank
  - Heunen, Chris
  - Kammar, Ohad
  date: 2016-07
  page-range: 525-534
  serial-number:
    doi: 10.1145/2933575.2935313
  parent:
    type: proceedings
    title: Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science
    publisher: ACM