Johannes Hartmann : Publications
-
[1]
Algorithm Design with the Selection Monad
Johannes Hartmann and Jeremy Gibbons
In Wouter Swierstra and Nicolas Wu, editors, Trends in Functional Programming. Vol. 13401 of LNCS. Pages 126−143. 2022.
Details about Algorithm Design with the Selection Monad | BibTeX data for Algorithm Design with the Selection Monad | DOI (10.1007/978-3-031-21314-4_7) | Download (pdf) of Algorithm Design with the Selection Monad
-
[2]
Algorithm Design with the Selection Monad
Johannes Hartmann and Jeremy Gibbons
In Trends in Functional Programming: 23rd International Symposium‚ TFP 2022‚ Virtual Event‚ March 17–18‚ 2022‚ Revised Selected Papers. Pages 126−143. January, 2023.
Details about Algorithm Design with the Selection Monad | BibTeX data for Algorithm Design with the Selection Monad | Download (pdf) of Algorithm Design with the Selection Monad