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)