An application of computable distributions to the semantics of probabilistic programming languages

DOI10.1007/978-3-662-49498-1_14zbMATH Open1335.68028OpenAlexW2465272687MaRDI QIDQ2802487FDOQ2802487

Authors: Daniel Z. Huang, Greg Morrisett 

Publication date: 26 April 2016

Published in: Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-49498-1_14

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

zbMATH Keywords

semanticsprobabilistic programscomputable distributions

Mathematics Subject Classification ID

Theory of programming languages (68N15) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Semantics in the theory of computing (68Q55)

Cites Work

• The no-U-turn sampler: adaptively setting path lengths in Hamiltonian Monte Carlo
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Probability Theory with Applications
• Effective symbolic dynamics, random points, statistical behavior, complexity and entropy
• Computability of probability measures and Martin-Löf randomness over metric spaces
• Title not available (Why is that?)
• Semantics of probabilistic programs
• Stochastic lambda calculus and monads of probability distributions
• On the rapid computation of various polylogarithmic constants
• Uniform test of algorithmic randomness over a general space
• CPO's of measures for nondeterminism
• A probabilistic language based upon sampling functions
• Computability on the probability measures on the Borel sets of the unit interval
• Admissible representations for probability measures
• Computable de Finetti measures
• Running probabilistic programs backwards
• Measure transformer semantics for Bayesian machine learning

Cited In (4)

• A type theory for probability density functions
• Deriving probability density functions from probabilistic functional programs
• Contextual Equivalence for Probabilistic Programs with Continuous Random Variables and Scoring
• A denotational semantics for low-level probabilistic programs with nondeterminism

Uses Software

• BUGS
• Infer.NET
• IBAL
• Church
• FACTORIE
• Dimple
• NUTS

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)