A domain theory for statistical probabilistic programming
<p>We give an adequate denotational semantics for languages with recursive higher-order types, continuous probability distributions, and soft constraints. These are expressive languages for building Bayesian models of the kinds used in computational statistics and machine learning. Among them...
| Hoofdauteurs: | , , |
|---|---|
| Formaat: | Conference item |
| Gepubliceerd in: |
Association for Computing Machinery
2019
|