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...
Egile Nagusiak: | Gibbons, J, McIver, A, Morgan, C, Schrijvers, T |
---|---|
Beste egile batzuk: | Barthe, G |
Formatua: | Book section |
Hizkuntza: | English |
Argitaratua: |
Cambridge University Press
2020
|
Antzeko izenburuak
-
Abstract Hidden Markov Models: a monadic account of quantitative information flow
nork: Annabelle McIver, et al.
Argitaratua: (2019-03-01) -
Categories for the Working Haskeller
nork: Gibbons, J
Argitaratua: (2014) -
Monads for behaviour
nork: Piróg, M, et al.
Argitaratua: (2013) -
Monads for behaviour
nork: Piróg, M, et al.
Argitaratua: (2013) -
The coinductive resumption monad
nork: Piróg, M, et al.
Argitaratua: (2014)