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

Cur síos iomlán

Sonraí bibleagrafaíochta
Príomhchruthaitheoirí:	Hartmann, J, Gibbons, J
Formáid:	Conference item
Teanga:	English
Foilsithe / Cruthaithe:	Springer 2023

Míreanna comhchosúla

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)

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)

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)

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

Maximum Segment Sum‚ Monadically (distilled tutorial)
de réir: Gibbons, J
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)

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

Quantitative information flow with Monads in Haskell
de réir: Gibbons, J, et al.
Foilsithe / Cruthaithe: (2020)

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

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

Smart Choices and the Selection Monad
de réir: Martin Abadi, et al.
Foilsithe / Cruthaithe: (2023-04-01)

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

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

Corecursive Algebras, Corecursive Monads and Bloom Monads
de réir: Jiří Adámek, et al.
Foilsithe / Cruthaithe: (2014-09-01)

Of Tactics and Monads
de réir: Martin, A
Foilsithe / Cruthaithe: (1996)

The monadic theory of toric words
de réir: Berthé, V, et al.
Foilsithe / Cruthaithe: (2024)

Monadic Datalog Containment
de réir: Benedikt, M, et al.
Foilsithe / Cruthaithe: (2012)

MONAD KAVRAMININ TEMELLERİ
de réir: Deniz Soysal
Foilsithe / Cruthaithe: (2009-07-01)

Monadic Effect Algebras
de réir: Yuxi Zou, et al.
Foilsithe / Cruthaithe: (2022-01-01)

Monads need not be endofunctors
de réir: Thosten Altenkirch, et al.
Foilsithe / Cruthaithe: (2015-03-01)

Monad Metrizable Space
de réir: Orhan Göçür
Foilsithe / Cruthaithe: (2020-10-01)

On Discrete Presheaf Monads
de réir: Gao Zhang, et al.
Foilsithe / Cruthaithe: (2023-06-01)

On saturated prefilter monads
de réir: Gao Zhang, et al.
Foilsithe / Cruthaithe: (2023-02-01)

Notions of Monad Strength
de réir: Philip Mulry
Foilsithe / Cruthaithe: (2013-09-01)

Deriving monad transformers
de réir: Hinze, R
Foilsithe / Cruthaithe: (1999)

Monadic Datalog Containment
de réir: Benedikt, M, et al.
Foilsithe / Cruthaithe: (2012)

The Sound Monad: A Philosophical Perspective on Sound Design
de réir: Zingaro Vincenzo
Foilsithe / Cruthaithe: (2021-09-01)

Equivalence Problems for Monadic Schemas
de réir: Qualitz, Joseph E.
Foilsithe / Cruthaithe: (2023)

Quantifiers on languages and codensity monads
de réir: Gehrke, M, et al.
Foilsithe / Cruthaithe: (2017)

Quantifiers on languages and codensity monads
de réir: Gehrke, M, et al.
Foilsithe / Cruthaithe: (2021)

Evaluation strategies for monadic computations
de réir: Tomas Petricek
Foilsithe / Cruthaithe: (2012-02-01)

Scope ambiguities, monads and strengths
de réir: Justyna Grudzinska, et al.
Foilsithe / Cruthaithe: (2017-11-01)

Monad Transformers for Backtracking Search
de réir: Jules Hedges
Foilsithe / Cruthaithe: (2014-06-01)

Efficient Monadic−style Backtracking
de réir: Hinze, R
Foilsithe / Cruthaithe: (1996)