BibTeX record conf/sblp/GadeaGP17

download as .bib file

@inproceedings{DBLP:conf/sblp/GadeaGP17,
  author    = {Alejandro Gadea and
               Emmanuel Gunther and
               Miguel Pagano},
  editor    = {Fabio Mascarenhas},
  title     = {The importance of being Extrinsic: Coherence and adequacy for a call-by-value
               language},
  booktitle = {Proceedings of the 21st Brazilian Symposium on Programming Languages,
               {SBLP} 2017, Fortaleza, CE, Brazil, September 21-22, 2017},
  pages     = {6:1--6:8},
  publisher = {{ACM}},
  year      = {2017},
  url       = {https://doi.org/10.1145/3125374.3125378},
  doi       = {10.1145/3125374.3125378},
  timestamp = {Tue, 06 Nov 2018 16:59:32 +0100},
  biburl    = {https://dblp.org/rec/conf/sblp/GadeaGP17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics