conf.researchr.org / Michael Wolman

Registered user since Thu 12 Nov 2020

Name:Michael Wolman
Country:Canada
Affiliation:McGill University

Contributions

POPL 2021 Author of Probabilistic Programming Semantics for Name Generation within the POPL-track
LAFI 2020 Author of Name generation and Higher-order Probabilistic Programming (Or is new=rnd?) within the LAFI (né PPS)-track