Contextual Equivalence for Probabilistic Programs with Continuous Random Variables and Scoring
Stan: A Probabilistic Programming Language
A mixed-methods study of mobile users' data usage practices in South Africa