research
∙
09/18/2023
A model of stochastic memoization and name generation in probabilistic programming: categorical semantics via monads on presheaf categories
Stochastic memoization is a higher-order construct of probabilistic prog...
research
∙
12/14/2022