Deriving Probability Density Functions from Probabilistic Functional Programs
No abstract available.
Related papers
- Deriving a probability density calculator (functional pearl) ICFP 2016
- A type theory for probability density functions POPL 2012
- A Verified Compiler for Probability Density Functions ESOP 2015
- Probabilistic Programming with Stochastic Probabilities PLDI 2023
- Densities of Almost Surely Terminating Probabilistic Programs are Differentiable Almost Everywhere ESOP 2021
- A Lambda Calculus for Density Matrices with Classical and Probabilistic Controls APLAS 2017
- Robust Probabilistic Bisimilarity for Labelled Markov Chains CAV 2025
- Probabilistic programming with densities in SlicStan: efficient, flexible, and deterministic POPL 2019