A model of stochastic memoization and name generation in probabilistic programming: categorical semantics via monads on presheaf categories.

Younesse Kaddar Sam Staton A model of stochastic memoization and name generation in probabilistic programming: categorical semantics via monads on presheaf categories. MFPS 2023 conf/mfps/2023 https://doi.org/10.46298/entics.12291 https://doi.org/10.48550/arXiv.2309.09467 db/series/entics/entics3.html#abs-2309-09467