Sam Staton Probabilistic Programs as Measures. 43-74 2020 Foundations of Probabilistic Programming https://doi.org/10.1017/9781108770750.003 books/cu/20/BKS2020 db/books/collections/BKS2020.html#Staton20