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...
| Autori principali: | , , , |
|---|---|
| Natura: | Conference item |
| Pubblicazione: |
IEEE
2017
|