Probabilistic programming semantics for name generation. - Marcin Sabok; Sam Staton; Dario Stein; Michael Wolman (Proc. ACM Program. Lang., 2021)