Algorithm design with the selection monad

Algorithm design with the selection monad

The selection monad has proven useful for modelling exhaustive search algorithms. It is well studied in the area of game theory as an elegant way of expressing algorithms that calculate optimal plays for sequential games with perfect information; composition of moves is modeled as a ‘product’ of sel...

書誌詳細
主要な著者:	Hartmann, J, Gibbons, J
フォーマット:	Conference item
言語:	English
出版事項:	Springer 2023

類似資料

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)

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

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

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

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

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

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

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)

Quantitative information flow with Monads in Haskell
著者:: Gibbons, J, 等
出版事項: (2020)

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

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

Smart Choices and the Selection Monad
著者:: Martin Abadi, 等
出版事項: (2023-04-01)

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

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

Corecursive Algebras, Corecursive Monads and Bloom Monads
著者:: Jiří Adámek, 等
出版事項: (2014-09-01)

Of Tactics and Monads
著者:: Martin, A
出版事項: (1996)

The monadic theory of toric words
著者:: Berthé, V, 等
出版事項: (2024)

Monadic Datalog Containment
著者:: Benedikt, M, 等
出版事項: (2012)

MONAD KAVRAMININ TEMELLERİ
著者:: Deniz Soysal
出版事項: (2009-07-01)

Monadic Effect Algebras
著者:: Yuxi Zou, 等
出版事項: (2022-01-01)

Monads need not be endofunctors
著者:: Thosten Altenkirch, 等
出版事項: (2015-03-01)

Monad Metrizable Space
著者:: Orhan Göçür
出版事項: (2020-10-01)

On Discrete Presheaf Monads
著者:: Gao Zhang, 等
出版事項: (2023-06-01)

On saturated prefilter monads
著者:: Gao Zhang, 等
出版事項: (2023-02-01)

Notions of Monad Strength
著者:: Philip Mulry
出版事項: (2013-09-01)

Deriving monad transformers
著者:: Hinze, R
出版事項: (1999)

Monadic Datalog Containment
著者:: Benedikt, M, 等
出版事項: (2012)

The Sound Monad: A Philosophical Perspective on Sound Design
著者:: Zingaro Vincenzo
出版事項: (2021-09-01)

Equivalence Problems for Monadic Schemas
著者:: Qualitz, Joseph E.
出版事項: (2023)

Quantifiers on languages and codensity monads
著者:: Gehrke, M, 等
出版事項: (2017)

Quantifiers on languages and codensity monads
著者:: Gehrke, M, 等
出版事項: (2021)

Evaluation strategies for monadic computations
著者:: Tomas Petricek
出版事項: (2012-02-01)

Scope ambiguities, monads and strengths
著者:: Justyna Grudzinska, 等
出版事項: (2017-11-01)

Monad Transformers for Backtracking Search
著者:: Jules Hedges
出版事項: (2014-06-01)

Recursive Definitions of Monadic Functions
著者:: Alexander Krauss
出版事項: (2010-12-01)