Alexander K. Lew, Marco F. Cusumano-Towner, Benjamin Sherman, Michael Carbin, Vikash K. Mansinghka
Trace types and denotational semantics for sound programmable inference in probabilistic languages
POPL, 2020.
@article{POPL-2020-LewCSCM,
author = "Alexander K. Lew and Marco F. Cusumano-Towner and Benjamin Sherman and Michael Carbin and Vikash K. Mansinghka",
doi = "10.1145/3371087",
journal = "{Proceedings of the ACM on Programming Languages}",
number = "POPL",
pages = "32",
publisher = "{ACM}",
title = "{Trace types and denotational semantics for sound programmable inference in probabilistic languages}",
volume = 4,
year = 2020,
}