Quantitative information flow with Monads in Haskell
Monads are a popular feature of the programming language Haskell because they can model many different notions of computation in a uniform and purely functional way. Our particular interest here is the probability monad, which can be -- and has been -- used to synthesise models for probabilistic pro...
Hoofdauteurs: | Gibbons, J, McIver, A, Morgan, C, Schrijvers, T |
---|---|
Andere auteurs: | Barthe, G |
Formaat: | Book section |
Taal: | English |
Gepubliceerd in: |
Cambridge University Press
2020
|
Gelijkaardige items
-
Abstract Hidden Markov Models: a monadic account of quantitative information flow
door: Annabelle McIver, et al.
Gepubliceerd in: (2019-03-01) -
Categories for the Working Haskeller
door: Gibbons, J
Gepubliceerd in: (2014) -
Monads for behaviour
door: Piróg, M, et al.
Gepubliceerd in: (2013) -
Monads for behaviour
door: Piróg, M, et al.
Gepubliceerd in: (2013) -
The coinductive resumption monad
door: Piróg, M, et al.
Gepubliceerd in: (2014)