Johannes Hartmann : Publications

Click here to download all publications in a single bibtex file

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

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