A convenient category for higher-order probability theory
Higher-order probabilistic programming languages allow programmers to write sophisticated models in machine learning and statistics in a succinct and structured way, but step outside the standard measure-theoretic formalization of probability theory. Programs may use both higher-order functions and...
| Main Authors: | , , , |
|---|---|
| Format: | Conference item |
| Published: |
IEEE
2017
|