Probabilistic programming semantics for name generation
Marcin Sabok‚ Sam Staton‚ Dario Stein and Michael Wolman
Journal
Proc. ACM Program. Lang.
Number
POPL
Pages
1–29
Volume
5
Year
2021
Marcin Sabok‚ Sam Staton‚ Dario Stein and Michael Wolman