Mitchell Wand, Ryan Culpepper, Theophilos Giannakopoulos, Andrew Cobb. Contextual equivalence for a probabilistic language with continuous random variables and recursion. Proceedings of the ACM on Programming Languages, 2(ICFP), 2018. [doi]
Abstract is missing.