BibTeX record journals/pacmpl/MaillardAAMHRT19

download as .bib file

@article{DBLP:journals/pacmpl/MaillardAAMHRT19,
  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   = {Proc. {ACM} Program. Lang.},
  volume    = {3},
  number    = {{ICFP}},
  pages     = {104:1--104:29},
  year      = {2019}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics