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

書誌詳細
主要な著者:	Gibbons, J, McIver, A, Morgan, C, Schrijvers, T
その他の著者:	Barthe, G
フォーマット:	Book section
言語:	English
出版事項:	Cambridge University Press 2020

類似資料

Abstract Hidden Markov Models: a monadic account of quantitative information flow
著者:: Annabelle McIver, 等
出版事項: (2019-03-01)

Categories for the Working Haskeller
著者:: Gibbons, J
出版事項: (2014)

Monads for behaviour
著者:: Piróg, M, 等
出版事項: (2013)

Monads for behaviour
著者:: Piróg, M, 等
出版事項: (2013)

The coinductive resumption monad
著者:: Piróg, M, 等
出版事項: (2014)

The coinductive resumption monad
著者:: Piróg, M, 等
出版事項: (2014)

Entangled State Monads
著者:: Cheney, J, 等
出版事項: (2014)

Reflections on monadic lenses
著者:: Abou-Saleh, F, 等
出版事項: (2016)

Unifying Theories of Programming with Monads
著者:: Gibbons, J
出版事項: (2012)

A Monadic Interpretation of Tactics
著者:: Martin, A, 等
出版事項: (2015)

Algorithm design with the selection monad
著者:: Hartmann, J, 等
出版事項: (2023)

Programming in haskell /
著者:: 266356 Hutton, Graham
出版事項: (2007)

Generic Haskell: Applications
著者:: Hinze, R, 等
出版事項: (2003)

Generic Haskell: Applications
著者:: Hinze, R, 等
出版事項: (2003)

Almost-certain eventualities and abstract probabilities in quantitative temporal logic
著者:: McIver, A, 等
出版事項: (2001)

Tracing monadic computations and representing effects
著者:: Pirog, M, 等
出版事項: (2012)

Scala for generic programmers Comparing Haskell and Scala support for generic programming
著者:: Oliveira, B, 等
出版事項: (2010)

Maximum Segment Sum‚ Monadically (distilled tutorial)
著者:: Gibbons, J
出版事項: (2011)

An Introduction to Liquid Haskell
著者:: Ricardo Peña
出版事項: (2017-01-01)

Libraries for Generic Programming in Haskell
著者:: Jeuring, J, 等
出版事項: (2008)

Libraries for Generic Programming in Haskell
著者:: Jeuring, J, 等
出版事項: (2009)

The Generic Haskell user's guide
著者:: Clarke, D, 等
出版事項: (2001)

Tracing monadic computations and representing effects
著者:: Maciej Piróg, 等
出版事項: (2012-02-01)

Just do It: Simple Monadic Equational Reasoning
著者:: Gibbons, J, 等
出版事項: (2011)

Just do it: simple monadic equational reasoning
著者:: Gibbons, J, 等
出版事項: (2011)

Just do it: Simple monadic equational reasoning
著者:: Gibbons, J, 等
出版事項: (2011)

Giving Haskell a Promotion
著者:: Yorgey, B, 等
出版事項: (2012)

Generic Haskell: Practice and Theory
著者:: Hinze, R, 等
出版事項: (2003)

Generic Haskell: Practice and Theory
著者:: Hinze, R, 等
出版事項: (2003)

Maximum Segment Sum, Monadically (distilled tutorial)
著者:: Jeremy Gibbons
出版事項: (2011-09-01)

Just do It: Simple Monadic Equational Reasoning
著者:: Gibbons, J, 等
出版事項: (2011)

Notions of Bidirectional Computation and Entangled State Monads
著者:: Abou-Saleh, F, 等
出版事項: (2015)

A generic deriving mechanism for Haskell
著者:: aes, J, 等
出版事項: (2010)

A generic deriving mechanism for Haskell
著者:: aes, J, 等
出版事項: (2010)

Investigating Haskell for parallel processing
著者:: Pahlevi Fikri Auliya
出版事項: (2011)

Learn Physics by Programming in Haskell
著者:: Scott N. Walck
出版事項: (2014-12-01)

Session Type Inference in Haskell
著者:: Keigo Imai, 等
出版事項: (2011-10-01)

Adaptation-Based Programming in Haskell
著者:: Tim Bauer, 等
出版事項: (2011-09-01)

Intel Concurrent Collections for Haskell
著者:: Newton, Ryan, 等
出版事項: (2011)

GADTless Programming in Haskell 98
著者:: Sulzmann, M, 等
出版事項: (2006)