Kenji Maillard, Danel Ahman, Robert Atkey, Guido Martínez, Catalin Hritcu, Exequiel Rivas, Éric Tanter
Dijkstra monads for all
ICFP, 2019.
@article{ICFP-2019-MaillardAAMHRT,
author = "Kenji Maillard and Danel Ahman and Robert Atkey and Guido Martínez and Catalin Hritcu and Exequiel Rivas and Éric Tanter",
doi = "10.1145/3341708",
journal = "{Proceedings of the ACM on Programming Languages}",
number = "ICFP",
pages = "29",
title = "{Dijkstra monads for all}",
volume = 3,
year = 2019,
}