Quantitative information flow with Monads in Haskell

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...

Cur síos iomlán

Sonraí bibleagrafaíochta
Príomhchruthaitheoirí:	Gibbons, J, McIver, A, Morgan, C, Schrijvers, T
Rannpháirtithe:	Barthe, G
Formáid:	Book section
Teanga:	English
Foilsithe / Cruthaithe:	Cambridge University Press 2020

Míreanna comhchosúla

Abstract Hidden Markov Models: a monadic account of quantitative information flow
de réir: Annabelle McIver, et al.
Foilsithe / Cruthaithe: (2019-03-01)

Categories for the Working Haskeller
de réir: Gibbons, J
Foilsithe / Cruthaithe: (2014)

Monads for behaviour
de réir: Piróg, M, et al.
Foilsithe / Cruthaithe: (2013)

Monads for behaviour
de réir: Piróg, M, et al.
Foilsithe / Cruthaithe: (2013)

The coinductive resumption monad
de réir: Piróg, M, et al.
Foilsithe / Cruthaithe: (2014)

The coinductive resumption monad
de réir: Piróg, M, et al.
Foilsithe / Cruthaithe: (2014)

Entangled State Monads
de réir: Cheney, J, et al.
Foilsithe / Cruthaithe: (2014)

Reflections on monadic lenses
de réir: Abou-Saleh, F, et al.
Foilsithe / Cruthaithe: (2016)

Unifying Theories of Programming with Monads
de réir: Gibbons, J
Foilsithe / Cruthaithe: (2012)

A Monadic Interpretation of Tactics
de réir: Martin, A, et al.
Foilsithe / Cruthaithe: (2015)

Algorithm design with the selection monad
de réir: Hartmann, J, et al.
Foilsithe / Cruthaithe: (2023)

Programming in haskell /
de réir: 266356 Hutton, Graham
Foilsithe / Cruthaithe: (2007)

Generic Haskell: Applications
de réir: Hinze, R, et al.
Foilsithe / Cruthaithe: (2003)

Generic Haskell: Applications
de réir: Hinze, R, et al.
Foilsithe / Cruthaithe: (2003)

Almost-certain eventualities and abstract probabilities in quantitative temporal logic
de réir: McIver, A, et al.
Foilsithe / Cruthaithe: (2001)

Tracing monadic computations and representing effects
de réir: Pirog, M, et al.
Foilsithe / Cruthaithe: (2012)

Scala for generic programmers Comparing Haskell and Scala support for generic programming
de réir: Oliveira, B, et al.
Foilsithe / Cruthaithe: (2010)

Maximum Segment Sum‚ Monadically (distilled tutorial)
de réir: Gibbons, J
Foilsithe / Cruthaithe: (2011)

An Introduction to Liquid Haskell
de réir: Ricardo Peña
Foilsithe / Cruthaithe: (2017-01-01)

Libraries for Generic Programming in Haskell
de réir: Jeuring, J, et al.
Foilsithe / Cruthaithe: (2008)

Libraries for Generic Programming in Haskell
de réir: Jeuring, J, et al.
Foilsithe / Cruthaithe: (2009)

The Generic Haskell user's guide
de réir: Clarke, D, et al.
Foilsithe / Cruthaithe: (2001)

Tracing monadic computations and representing effects
de réir: Maciej Piróg, et al.
Foilsithe / Cruthaithe: (2012-02-01)

Just do It: Simple Monadic Equational Reasoning
de réir: Gibbons, J, et al.
Foilsithe / Cruthaithe: (2011)

Just do it: simple monadic equational reasoning
de réir: Gibbons, J, et al.
Foilsithe / Cruthaithe: (2011)

Just do it: Simple monadic equational reasoning
de réir: Gibbons, J, et al.
Foilsithe / Cruthaithe: (2011)

Giving Haskell a Promotion
de réir: Yorgey, B, et al.
Foilsithe / Cruthaithe: (2012)

Generic Haskell: Practice and Theory
de réir: Hinze, R, et al.
Foilsithe / Cruthaithe: (2003)

Generic Haskell: Practice and Theory
de réir: Hinze, R, et al.
Foilsithe / Cruthaithe: (2003)

Maximum Segment Sum, Monadically (distilled tutorial)
de réir: Jeremy Gibbons
Foilsithe / Cruthaithe: (2011-09-01)

Just do It: Simple Monadic Equational Reasoning
de réir: Gibbons, J, et al.
Foilsithe / Cruthaithe: (2011)

Notions of Bidirectional Computation and Entangled State Monads
de réir: Abou-Saleh, F, et al.
Foilsithe / Cruthaithe: (2015)

A generic deriving mechanism for Haskell
de réir: aes, J, et al.
Foilsithe / Cruthaithe: (2010)

A generic deriving mechanism for Haskell
de réir: aes, J, et al.
Foilsithe / Cruthaithe: (2010)

Investigating Haskell for parallel processing
de réir: Pahlevi Fikri Auliya
Foilsithe / Cruthaithe: (2011)

Learn Physics by Programming in Haskell
de réir: Scott N. Walck
Foilsithe / Cruthaithe: (2014-12-01)

Session Type Inference in Haskell
de réir: Keigo Imai, et al.
Foilsithe / Cruthaithe: (2011-10-01)

Adaptation-Based Programming in Haskell
de réir: Tim Bauer, et al.
Foilsithe / Cruthaithe: (2011-09-01)

Intel Concurrent Collections for Haskell
de réir: Newton, Ryan, et al.
Foilsithe / Cruthaithe: (2011)

GADTless Programming in Haskell 98
de réir: Sulzmann, M, et al.
Foilsithe / Cruthaithe: (2006)