Commutative monads for probabilistic programming languages

DOI10.1109/LICS52264.2021.9470611MaRDI QIDQ6651952zbMATH OpenFDO

Authors

Publication date 11 December 2024

Full work available at URL https://doi.org/10.1109/LICS52264.2021.9470611

Mathematics Subject Classification ID

Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Theory of software (68Nxx)

Cited in

(5)

• A model of stochastic memoization and name generation in probabilistic programming: categorical semantics via monads on presheaf categories
• Continuous R-valuations
• Semantics for a Turing-complete reversible programming language with inductive types
• A Cartesian closed category for random variables
• A domain-theoretic approach to statistical programming languages

This page was built for publication: Commutative monads for probabilistic programming languages

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6651952)