Login / Signup
Michael Wolman
Publication Activity (10 Years)
Years Active: 2020-2021
Publications (10 Years): 2
Top Topics
Programming Language
Bayesian Networks
Probabilistic Logic
Uncertain Databases
Top Venues
Proc. ACM Program. Lang.
CoRR
</>
Publications
</>
Marcin Sabok
,
Sam Staton
,
Dario Stein
,
Michael Wolman
Probabilistic programming semantics for name generation.
Proc. ACM Program. Lang.
5 (POPL) (2021)
Marcin Sabok
,
Sam Staton
,
Dario Stein
,
Michael Wolman
Probabilistic Programming Semantics for Name Generation.
CoRR
(2020)