Measure Transformer Semantics for Bayesian Machine Learning
Abstract elided by the publisher.
Related papers
- Denotational validation of higher-order Bayesian inference POPL 2018
- Practical probabilistic programming with monads Haskell 2015
- A domain theory for statistical probabilistic programming POPL 2019
- Fuzzing Guided by Bayesian Program Analysis POPL 2026
- Bayesian Separation Logic: A Logical Foundation and Axiomatic Semantics for Probabilistic Programming POPL 2026
- A model-learner pattern for bayesian reasoning POPL 2013
- Fast Parallel Exact Inference on Bayesian Networks PPoPP 2023
- Formal verification of higher-order probabilistic programs: reasoning about approximation, convergence, Bayesian inference, and optimization POPL 2019