@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} }