A model of stochastic memoization and name generation in probabilistic programming: categorical semantics via monads on presheaf categories
Younesse Kaddar and Sam Staton
Book Title
Proceedings of the 39th Conference on Mathematical Foundations of Programming Semantics (MFPS 2023)
Note
Preprint arXiv:2309.09467
Year
2023