Ryan Culpepper, Andrew Cobb
Contextual Equivalence for Probabilistic Programs with Continuous Random Variables and Scoring
ESOP, 2017.
@inproceedings{ESOP-2017-CulpepperC,
author = "Ryan Culpepper and Andrew Cobb",
booktitle = "{Proceedings of the 24th European Symposium on Programming}",
doi = "10.1007/978-3-662-54434-1_14",
isbn = "['978-3-662-54433-4', '978-3-662-54434-1']",
pages = "368--392",
publisher = "{Springer}",
title = "{Contextual Equivalence for Probabilistic Programs with Continuous Random Variables and Scoring}",
year = 2017,
}











