Algorithm Design with the Selection Monad

Reference. Algorithm Design with the Selection Monad

Cite

Cite as @hartmann-2022-algorithm (helia, typst) · \cite{hartmann-2022-algorithm} (LaTeX)

BibTeX

bibtex · 1 line

@inbook{hartmann-2022-algorithm, title={Algorithm Design with the Selection Monad}, ISBN={9783031213144}, ISSN={1611-3349}, url={http://dx.doi.org/10.1007/978-3-031-21314-4_7}, DOI={10.1007/978-3-031-21314-4_7}, booktitle={Trends in Functional Programming}, publisher={Springer International Publishing}, author={Hartmann, Johannes and Gibbons, Jeremy}, year={2022}, pages={126–143} }

hayagriva YAML (typst)

yaml · 17 lines

hartmann-2022-algorithm:
  type: chapter
  title: Algorithm Design with the Selection Monad
  author:
  - Hartmann, Johannes
  - Gibbons, Jeremy
  date: 2022
  page-range: 126-143
  url: http://dx.doi.org/10.1007/978-3-031-21314-4_7
  serial-number:
    doi: 10.1007/978-3-031-21314-4_7
    isbn: '9783031213144'
    issn: 1611-3349
  parent:
    type: book
    title: Trends in Functional Programming
    publisher: Springer International Publishing

Download: hartmann-2022-algorithm.bib · hartmann-2022-algorithm.yml

Cites 9 works (0 here)

External (9)

Dependently typed selection monad (GitHub repository) (2022)
Finding optimal strategies in sequential games with the novel selection monad (2021)
Sequential games and nondeterministic selection functions (2018)
Towards compositional game theory (2016)
The selection monad as a CPS transformation (2015)
10.1098/rspa.2010.0471 (2011)
10.1017/s0960129509990351 (2010)
10.1002/j.1538-7305.1957.tb01515.x (1957)
10.1145/1863597.1863605