Quantitative information flow with Monads in Haskell (Foundations of Probabilistic Programming, 2020)

(untitled) - Gibbons, J; McIver, A; Morgan, C; Schrijvers, T