Contextual Equivalence for Probabilistic Programs with Continuous Random Variables and Scoring.

Ryan Culpepper, Andrew Cobb

Browse the full ESOP paper archive.