Skip to main content

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