Dijkstra Monads for All (bibtex)

by Kenji Maillard, Danel Ahman, Robert Atkey, Guido Martínez, Catalin Hritcu, Exequiel Rivas and Éric Tanter

Reference:

Dijkstra Monads for All (Kenji Maillard, Danel Ahman, Robert Atkey, Guido Martínez, Catalin Hritcu, Exequiel Rivas and Éric Tanter), In 24th ACM SIGPLAN International Conference on Functional Programming (ICFP), 2019.

Bibtex Entry:

@inproceedings{dm4all,
  author = {Kenji Maillard and
            Danel Ahman and
            Robert Atkey and
            Guido Mart\'inez and
            Catalin Hritcu and
            Exequiel Rivas and
            \'Eric Tanter},
  title = {Dijkstra Monads for All},
  booktitle = {24th ACM SIGPLAN International Conference on
               Functional Programming (ICFP)},
  shortbooktitle = {ICFP},
  year = {2019},
  month = aug,
  url = {https://arxiv.org/abs/1903.01237},
  note = {To Appear},
}