@inbook{qif, title = "Quantitative Information Flow with Monads in Haskell", author = "Jeremy Gibbons and Annabelle McIver and Carroll Morgan and Tom Schrijvers", year = "2020", booktitle = "Foundations of Probabilistic Programming", editor = "Gilles Barthe and Joost-Pieter Katoen and Alexandra Silva", publisher = "Cambridge University Press", url = "http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/kuifje.pdf", doi = "10.1017/9781108770750", }