BibTeX record conf/popl/AhmanHMMPPRS17

download as .bib file

@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       = {http://dl.acm.org/citation.cfm?id=3009878},
  timestamp = {Mon, 28 Jan 2019 13:08:41 +0100},
  biburl    = {https://dblp.org/rec/conf/popl/AhmanHMMPPRS17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics