@article{hartmann2023algorithm,
  title = "Algorithm Design with the Selection Monad",
  author = "Hartmann, Johannes and Gibbons, Jeremy",
  year = "2023",
  booktitle = "Trends in Functional Programming",
  isbn = "978-3-031-21314-4",
  journal = "Trends in Functional Programming: 23rd International Symposium, TFP 2022, Virtual Event, March 17--18, 2022, Revised Selected Papers",
  month = "January",
  pages = "126-143",
  publisher = "Springer International Publishing",
}