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)