Search dblp for Publications

• > Home > Search

@inproceedings{DBLP:conf/popl/AhmanHMMPPRS17,
  author       = {Danel Ahman and
                  Catalin Hritcu and
                  Kenji Maillard and
                  Guido Mart{\'{\i}}nez and
                  Gordon D. Plotkin and
                  Jonathan Protzenko and
                  Aseem Rastogi and
                  Nikhil Swamy},
  editor       = {Giuseppe Castagna and
                  Andrew D. Gordon},
  title        = {Dijkstra monads for free},
  booktitle    = {Proceedings of the 44th {ACM} {SIGPLAN} Symposium on Principles of
                  Programming Languages, {POPL} 2017, Paris, France, January 18-20,
                  2017},
  pages        = {515--529},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3009837.3009878},
  doi          = {10.1145/3009837.3009878},
  timestamp    = {Mon, 05 Feb 2024 20:33:37 +0100},
  biburl       = {https://dblp.org/rec/conf/popl/AhmanHMMPPRS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/AhmanHMPPRS16,
  author       = {Danel Ahman and
                  Catalin Hritcu and
                  Guido Mart{\'{\i}}nez and
                  Gordon D. Plotkin and
                  Jonathan Protzenko and
                  Aseem Rastogi and
                  Nikhil Swamy},
  title        = {Dijkstra Monads for Free},
  journal      = {CoRR},
  volume       = {abs/1608.06499},
  year         = {2016},
  url          = {http://arxiv.org/abs/1608.06499},
  eprinttype    = {arXiv},
  eprint       = {1608.06499},
  timestamp    = {Mon, 28 Jan 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/AhmanHMPPRS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}