Danel Ahman, Catalin Hritcu, Kenji Maillard, Guido Martinez, Gordon D. Plotkin, Jonathan Protzenko, Aseem Rastogi, Nikhil Swamy. Dijkstra monads for free. In Giuseppe Castagna, Andrew D. Gordon, editors, Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017, Paris, France, January 18-20, 2017. pages 515-529, ACM, 2017. [doi]
@inproceedings{AhmanHMMPPRS17,
title = {Dijkstra monads for free},
author = {Danel Ahman and Catalin Hritcu and Kenji Maillard and Guido Martinez and Gordon D. Plotkin and Jonathan Protzenko and Aseem Rastogi and Nikhil Swamy},
year = {2017},
url = {http://dl.acm.org/citation.cfm?id=3009878},
researchr = {https://researchr.org/publication/AhmanHMMPPRS17},
cites = {0},
citedby = {0},
pages = {515-529},
booktitle = {Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017, Paris, France, January 18-20, 2017},
editor = {Giuseppe Castagna and Andrew D. Gordon},
publisher = {ACM},
isbn = {978-1-4503-4660-3},
}