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]
@article{MaillardAAMHRT19,
title = {Dijkstra monads for all},
author = {Kenji Maillard and Danel Ahman and Robert Atkey and Guido Martínez and Catalin Hritcu and Exequiel Rivas and Éric Tanter},
year = {2019},
doi = {10.1145/3341708},
url = {https://doi.org/10.1145/3341708},
researchr = {https://researchr.org/publication/MaillardAAMHRT19},
cites = {0},
citedby = {0},
journal = {Proceedings of the ACM on Programming Languages},
volume = {3},
number = {ICFP},
}