Dijkstra Monads for Free (bibtex)

by Danel Ahman, Catalin Hritcu, Kenji Maillard, Guido Martínez, Gordon Plotkin, Jonathan Protzenko, Aseem Rastogi and Nikhil Swamy

View PDF

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},
}