by Danel Ahman, Catalin Hritcu, Kenji Maillard, Guido Martínez, Gordon Plotkin, Jonathan Protzenko, Aseem Rastogi and Nikhil Swamy
Reference:
Dijkstra Monads for Free (Danel Ahman, Catalin Hritcu, Kenji Maillard, Guido Martínez, Gordon Plotkin, Jonathan Protzenko, Aseem Rastogi and Nikhil Swamy), In 44th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL), ACM, 2017.
Bibtex Entry:
@inproceedings{dm4free,
author = {Danel Ahman and
Catalin Hritcu and
Kenji Maillard and
Guido Mart\'inez and
Gordon Plotkin and
Jonathan Protzenko and
Aseem Rastogi and
Nikhil Swamy},
title = {Dijkstra Monads for Free},
booktitle = {44th ACM SIGPLAN Symposium on Principles of Programming
Languages (POPL)},
shortbooktitle = {POPL},
year = {2017},
month = jan,
ee = {https://dl.acm.org/citation.cfm?id=3009878},
doi = {10.1145/3009837.3009878},
url = {https://www.fstar-lang.org/papers/dm4free/},
pages = {515-529},
publisher = {ACM},
}