Danel Ahman, Catalin Hritcu, Kenji Maillard, Guido Martínez, Gordon D. Plotkin, Jonathan Protzenko, Aseem Rastogi, Nikhil Swamy
Dijkstra monads for free
POPL, 2017.
@inproceedings{POPL-2017-AhmanHMMPPRS,
author = "Danel Ahman and Catalin Hritcu and Kenji Maillard and Guido Martínez and Gordon D. Plotkin and Jonathan Protzenko and Aseem Rastogi and Nikhil Swamy",
booktitle = "{Proceedings of the 44th Symposium on Principles of Programming Languages}",
isbn = "978-1-4503-4660-3",
pages = "515--529",
publisher = "{ACM}",
title = "{Dijkstra monads for free}",
year = 2017,
}