Johannes Hartmann, Jeremy Gibbons. Algorithm Design with the Selection Monad. In Wouter Swierstra, Nicolas Wu, editors, Trends in Functional Programming - 23rd International Symposium, TFP 2022, Virtual Event, March 17-18, 2022, Revised Selected Papers. Volume 13401 of Lecture Notes in Computer Science, pages 126-143, Springer, 2022. [doi]
Abstract is missing.