Exact Bayesian inference by symbolic disintegration

DOI10.1145/3009837.3009852zbMath1380.68106OpenAlexW2565964471MaRDI QIDQ5370851

Chung-Chieh Shan, Norman Ramsey

Publication date: 20 October 2017

Published in: Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/3009837.3009852

zbMATH Keywords

continuous distributionsconditional measuresprobabilistic programs

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

Commutative Semantics for Probabilistic Programming ⋮ Disintegration and Bayesian inversion via string diagrams

This page was built for publication: Exact Bayesian inference by symbolic disintegration