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)