Dijkstra monads for all

Kenji Maillard, Danel Ahman, Robert Atkey, Guido Martínez, Catalin Hritcu, Exequiel Rivas, Éric Tanter. Dijkstra monads for all. Proceedings of the ACM on Programming Languages, 3(ICFP), 2019. [doi]

Abstract

Abstract is missing.