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)