Contextual Equivalence for Probabilistic Programs with Continuous Random Variables and Scoring
Church: a language for generative models