An application of computable distributions to the semantics of probabilistic programming languages
From MaRDI portal
Publication:2802487
Recommendations
- Semantics for probabilistic programming: higher-order functions, continuous distributions, and soft constraints
- Commutative semantics for probabilistic programming
- A lambda-calculus foundation for universal probabilistic programming
- A probabilistic language based upon sampling functions
- A probabilistic semantics for the pure \(\lambda\)-calculus
Cites work
- scientific article; zbMATH DE number 439891 (Why is no real title available?)
- scientific article; zbMATH DE number 4179422 (Why is no real title available?)
- scientific article; zbMATH DE number 3764843 (Why is no real title available?)
- scientific article; zbMATH DE number 1460545 (Why is no real title available?)
- A probabilistic language based upon sampling functions
- Admissible representations for probability measures
- CPO's of measures for nondeterminism
- Computability of probability measures and Martin-Löf randomness over metric spaces
- Computability on the probability measures on the Borel sets of the unit interval
- Computable de Finetti measures
- Effective symbolic dynamics, random points, statistical behavior, complexity and entropy
- Measure transformer semantics for Bayesian machine learning
- On the rapid computation of various polylogarithmic constants
- Probability Theory with Applications
- Running probabilistic programs backwards
- Semantics of probabilistic programs
- Stochastic lambda calculus and monads of probability distributions
- The no-U-turn sampler: adaptively setting path lengths in Hamiltonian Monte Carlo
- Uniform test of algorithmic randomness over a general space
Cited in
(9)- Contextual equivalence for probabilistic programs with continuous random variables and scoring
- Semantics for probabilistic programming: higher-order functions, continuous distributions, and soft constraints
- Deriving probability density functions from probabilistic functional programs
- A denotational semantics for low-level probabilistic programs with nondeterminism
- Commutative semantics for probabilistic programming
- A probabilistic language based upon sampling functions
- Deriving probability density functions from probabilistic functional programs
- A type theory for probability density functions
- Bayesian strategies: probabilistic programs as generalised graphical models
This page was built for publication: An application of computable distributions to the semantics of probabilistic programming languages
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2802487)
