Semantics for probabilistic programming: higher-order functions, continuous distributions, and soft constraints
We study the semantic foundation of expressive probabilistic programming languages, that support higher-order functions, continuous distributions, and soft constraints (such as Anglican, Church, and Venture). We define a metalanguage (an idealised version of Anglican) for probabilistic computation w...
| Հիմնական հեղինակներ: | , , , , |
|---|---|
| Ձևաչափ: | Conference item |
| Հրապարակվել է: |
Association for Computing Machinery
2016
|