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...
Main Authors: | Hartmann, J, Gibbons, J |
---|---|
פורמט: | Conference item |
שפה: | English |
יצא לאור: |
Springer
2023
|
פריטים דומים
-
Monads for behaviour
מאת: Piróg, M, et al.
יצא לאור: (2013) -
Monads for behaviour
מאת: Piróg, M, et al.
יצא לאור: (2013) -
The coinductive resumption monad
מאת: Piróg, M, et al.
יצא לאור: (2014) -
The coinductive resumption monad
מאת: Piróg, M, et al.
יצא לאור: (2014) -
Unifying Theories of Programming with Monads
מאת: Gibbons, J
יצא לאור: (2012)