Person. Johannes Hartmann University of Oxford · 0000-0003-2671-4194 Master’sTechnical University of Darmstadt Papers Algorithm Design with the Selection Monad hartmann-2022-algorithmTrends in Functional Programming · 2022 DOI