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, }