Marco Cusumano-Towner, Benjamin Bichsel, Timon Gehr, Martin T. Vechev, Vikash K. Mansinghka
Incremental inference for probabilistic programs
PLDI, 2018.
@inproceedings{PLDI-2018-Cusumano-Towner18a, author = "Marco Cusumano-Towner and Benjamin Bichsel and Timon Gehr and Martin T. Vechev and Vikash K. Mansinghka", booktitle = "{Proceedings of the 39th Conference on Programming Language Design and Implementation}", doi = "10.1145/3192366.3192399", pages = "571--585", publisher = "{ACM}", title = "{Incremental inference for probabilistic programs}", year = 2018, }