Dijkstra Monads for All (bibtex)
by Kenji Maillard, Danel Ahman, Robert Atkey, Guido Martínez, Catalin Hritcu and Exequiel Rivas
Reference:
Dijkstra Monads for All (Kenji Maillard, Danel Ahman, Robert Atkey, Guido Martínez, Catalin Hritcu and Exequiel Rivas), In PACMPL, volume 3, 2019.
Bibtex Entry:
@article{dm4all,
  author    = {Kenji Maillard and
               Danel Ahman and
               Robert Atkey and
               Guido Mart{\'{\i}}nez and
               Catalin Hritcu and
               Exequiel Rivas and
               {\'{E}}ric Tanter},
  title     = {Dijkstra Monads for All},
  journal   = {{PACMPL}},
  volume    = {3},
  number    = {{ICFP}},
  pages     = {104:1--104:29},
  year      = {2019},
  ee        = {https://doi.org/10.1145/3341708},
  doi       = {10.1145/3341708},
  url       = {https://arxiv.org/abs/1903.01237},
}
Powered by bibtexbrowser