The Beta-Bernoulli process and algebraic effects. - Sam Staton; Dario Stein; Hongseok Yang; Nathanael L. Ackerman; Cameron E. Freer; Daniel M. Roy 001 (ICALP, 2018)

Compositional Semantics for Probabilistic Programs with Exact Conditioning. - Dario Stein; Sam Staton (LICS, 2021)

Probabilistic programming semantics for name generation. - Marcin Sabok; Sam Staton; Dario Stein; Michael Wolman (Proc. ACM Program. Lang., 2021)

Decorated Linear Relations: Extending Gaussian Probability with Uninformative Priors. - Dario Stein (CoRR, 2022)

Dilations and information flow axioms in categorical probability. - Tobias Fritz; Tomás Gonda; Nicholas Gauguin Houghton-Larsen; Paolo Perrone; Dario Stein (CoRR, 2022)

A Category for Unifying Gaussian Probability and Nondeterminism. - Dario Stein; Richard Samuelson (CALCO, 2023)

Counting and Matching. - Bart Jacobs 001; Dario Stein (CSL, 2023)

Absolute continuity, supports and idempotent splitting in categorical probability. - Tobias Fritz; Tomás Gonda; Antonio Lorenzin; Paolo Perrone; Dario Stein (CoRR, 2023)

Pearl's and Jeffrey's Update as Modes of Learning in Probabilistic Programming. - Bart Jacobs 001; Dario Stein (MFPS, 2023)

Overdrawing Urns using Categories of Signed Probabilities. - Bart Jacobs 001; Dario Stein (ACT, 2023)

Dilations and information flow axioms in categorical probability. - Tobias Fritz; Tomás Gonda; Nicholas Gauguin Houghton-Larsen; Antonio Lorenzin; Paolo Perrone; Dario Stein (Math. Struct. Comput. Sci., 2023)

Towards a Compositional Framework for Convex Analysis (with Applications to Probability Theory). - Dario Stein; Richard Samuelson (FoSSaCS (1), 2024)

Graphical Quadratic Algebra. - Dario Stein; Fabio Zanasi; Richard Samuelson; Robin Piedeleu (CoRR, 2024)

Probabilistic Programming with Exact Conditions. - Dario Stein; Sam Staton (J. ACM, 2024)

A Categorical Treatment of Open Linear Systems. - Dario Stein; Richard Samuelson (Log. Methods Comput. Sci., 2025)

Random Variables, Conditional Independence and Categories of Abstract Sample Spaces. - Dario Stein (CoRR, 2025)