Fetching the paper…
Reading the bibliography…
In this paper we use the framework of algebraic effects from programming language theory to analyze the Beta-Bernoulli process, a standard building block in Bayesian models.
Postulates for the barycentric calculus
M. H. Stone · 1949
Earlier work this paper cites.
Various techniques used in connection with random digits
John von Neumann · 1951
Earlier work this paper cites.
Autonomous equational categories
F. E. J. Linton · 1966
Earlier work this paper cites.
Monads on symmetric monoidal closed categories
Anders Kock · 1970
Earlier work this paper cites.
On the quasivariety of convex subsets of affine space
Walter D. Neumann · 1970
Earlier work this paper cites.
Semantics of probabilistic programs
Dexter Kozen · 1981
Earlier work this paper cites.
Classical Descriptive Set Theory
Alexander Kechris · 1995
Earlier work this paper cites.
Theory of statistics
Mark J. Schervish · 1995
Earlier work this paper cites.
Polynomials that are positive on an interval
Victoria Powers and Bruce Reznick · 2000
Earlier work this paper cites.
A user’s guide to measure theoretic probability
David Pollard · 2001
Earlier work this paper cites.
Varieties of effects
Carsten Führmann · 2002
Earlier work this paper cites.
Algebraic operations and generic effects
Gordon Plotkin and John Power · 2003
Cited alongside, same era.
Hierarchical Dirichlet processes
Yee Whye Teh, Michael I. Jordan, Matthew J. Beal, and David M. Blei · 2006
Cited alongside, same era.
A generic operational metatheory for algebraic effects
Patricia Johann, Alex Simpson, and Janis Voigtländer · 2010
Cited alongside, same era.
Probabilistic programming using first-class stores and first-class continuations
Oleg Kiselyov and Chung-Chieh Shan · 2010
Cited alongside, same era.
The Logic and Handling of Algebraic Effects
Matija Pretnar · 2010
Cited alongside, same era.
Algebraic foundations for effect-dependent optimisations
Ohad Kammar and Gordon D. Plotkin · 2012
Cited alongside, same era.
Venture: a higher-order probabilistic programming platform with programmable inference
Vikash Mansinghka, Daniel Selsam, and Yura Perov · 2014
Later among the works it cites.
Exchangeable random primitives
Nathanael L. Ackerman, Cameron E. Freer, and Daniel M. Roy · 2015
Later among the works it cites.
Step-indexed logical relations for probability
Ales Bizjak and Lars Birkedal · 2015
Later among the works it cites.
From Kleisli categories to commutative C*-algebras: Probabilistic Gelfand duality
Robert Furber and Bart Jacobs · 2015
Later among the works it cites.
Positive polynomials on closed boxes
M. Alves Diniz, L. E. Salasar, and R. Bassi Stern · 2016
Later among the works it cites.
Environmental bisimulations for probabilistic higher-order languages
Davide Sangiorgi and Valeria Vignudelli · 2016
Later among the works it cites.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Commutative monads as a theory of distributions
Anders Kock · 2012
Cited alongside, same era.
Normalization by evaluation and algebraic effects
Danel Ahman and Sam Staton · 2013
Cited alongside, same era.
An algebraic presentation of predicate logic
Sam Staton · 2013
Cited alongside, same era.
Instances of computational effects: An algebraic perspective
Sam Staton · 2013
Cited alongside, same era.
Reduced traces and JITing in Church
Jeff Wu · 2013
Cited alongside, same era.
Exchangeable random processes and data abstraction
Sam Staton, Hongseok Yang, Nathanael Ackerman, Cameron Freer, and Daniel M. Roy · 2017
Later among the works it cites.
From probability monads to commutative effectuses
Bart Jacobs · 2018
Closest in time.
The Beta-Bernoulli process and algebraic effects
Sam Staton, Dario Stein, Hongseok Yang, Nathanael L. Ackerman, Cameron E. Freer, and Daniel M. Roy · 2018
Closest in time.
Contextual equivalence for a probabilistic language with continuous random variables and recursion
Mitchell Wand, Theophilos Giannakopoulos, Andrew Cobb, and Ryan Culpepper · 2018
Closest in time.