Algorithm design with the selection monad

DOI10.1007/978-3-031-21314-4_7zbMath1528.68066OpenAlexW4313351001MaRDI QIDQ6111453

Johannes Hartmann, Jeremy Gibbons

Publication date: 3 August 2023

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://ora.ox.ac.uk/objects/uuid:7f6401c2-aac7-4e7c-8e3b-7f912228ea17

zbMATH Keywords

monadsfunctional programminggreedy algorithmsalgorithm designselection monad

Mathematics Subject Classification ID

Nonnumerical algorithms (68W05) Functional programming and lambda calculus (68N18) Algorithmic game theory and complexity (91A68)

Cites Work

• Sequential games and optimal strategies
• Selection functions, bar recursion and backward induction

This page was built for publication: Algorithm design with the selection monad