BibTeX record journals/corr/abs-2309-09467

• > Home > journals/corr/abs-2309-09467

@inproceedings{DBLP:journals/corr/abs-2309-09467,
  author       = {Younesse Kaddar and
                  Sam Staton},
  editor       = {Marie Kerjean and
                  Paul Blain Levy},
  title        = {A model of stochastic memoization and name generation in probabilistic
                  programming: categorical semantics via monads on presheaf categories},
  booktitle    = {Proceedings of the 39th Conference on the Mathematical Foundations
                  of Programming Semantics, {MFPS} XXXIX, Indiana University, Bloomington,
                  IN, USA, June 21-23, 2023},
  series       = {{EPTICS}},
  volume       = {3},
  publisher    = {EpiSciences},
  year         = {2023},
  url          = {https://doi.org/10.46298/entics.12291},
  doi          = {10.46298/ENTICS.12291},
  timestamp    = {Wed, 03 Jan 2024 15:56:41 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2309-09467.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}