@inproceedings{selection,
  title = "Algorithm Design with the Selection Monad",
  author = "Johannes Hartmann and Jeremy Gibbons",
  year = "2022",
  booktitle = "Trends in Functional Programming",
  editor = "Wouter Swierstra and Nicolas Wu",
  pages = "126-143",
  series = "LNCS",
  url = "http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/selection.pdf",
  volume = "13401",
  doi = "10.1007/978-3-031-21314-4_7",
}