Mitchell Wand, Ryan Culpepper, Theophilos Giannakopoulos, Andrew Cobb
Contextual equivalence for a probabilistic language with continuous random variables and recursion
ICFP, 2018.
@article{ICFP-2018-WandCGC,
author = "Mitchell Wand and Ryan Culpepper and Theophilos Giannakopoulos and Andrew Cobb",
doi = "10.1145/3236782",
journal = "{Proceedings of the ACM on Programming Languages}",
number = "ICFP",
pages = "30",
title = "{Contextual equivalence for a probabilistic language with continuous random variables and recursion}",
volume = 2,
year = 2018,
}