Person. Frank Wood University of British Columbia Papers Semantics for probabilistic programming: higher-order functions, continuous distributions, and soft constraints staton-2016-semanticsLICS · 2016 DOI · arXiv