@inproceedings{DBLP:conf/popl/FournetSCDSL13,
  author = {C{\'{e}}dric Fournet and Nikhil Swamy and Juan Chen and
Pierre{-}{\'{E}}variste Dagand and
Pierre{-}Yves Strub and Benjamin Livshits},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  biburl = {https://dblp.org/rec/conf/popl/FournetSCDSL13.bib},
  booktitle = {The 40th Annual {ACM} {SIGPLAN-SIGACT} Symposium on
Principles of Programming Languages, {POPL} '13,
Rome, Italy - January 23 - 25, 2013},
  doi = {10.1145/2429069.2429114},
  editor = {Roberto Giacobazzi and Radhia Cousot},
  isbn = {978-1-4503-1832-7},
  pages = {371--384},
  publisher = {{ACM}},
  timestamp = {Thu, 24 Jun 2021 16:19:31 +0200},
  title = {Fully abstract compilation to JavaScript},
  url = {https://doi.org/10.1145/2429069.2429114},
  year = {2013}
}

{"_id":"9WupiMzCpoZMvdH4f","authorIDs":["EC8a7TQ86pYAoBS7y"],"author_short":["Fournet, C.","Swamy, N.","Chen, J.","Dagand, P.","Strub, P.","Livshits, B."],"bibbaseid":"fournet-swamy-chen-dagand-strub-livshits-fullyabstractcompilationtojavascript-2013","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Cédric"],"propositions":[],"lastnames":["Fournet"],"suffixes":[]},{"firstnames":["Nikhil"],"propositions":[],"lastnames":["Swamy"],"suffixes":[]},{"firstnames":["Juan"],"propositions":[],"lastnames":["Chen"],"suffixes":[]},{"firstnames":["Pierre-Évariste"],"propositions":[],"lastnames":["Dagand"],"suffixes":[]},{"firstnames":["Pierre-Yves"],"propositions":[],"lastnames":["Strub"],"suffixes":[]},{"firstnames":["Benjamin"],"propositions":[],"lastnames":["Livshits"],"suffixes":[]}],"bibsource":"dblp computer science bibliography, https://dblp.org","biburl":"https://dblp.org/rec/conf/popl/FournetSCDSL13.bib","booktitle":"The 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '13, Rome, Italy - January 23 - 25, 2013","doi":"10.1145/2429069.2429114","editor":[{"firstnames":["Roberto"],"propositions":[],"lastnames":["Giacobazzi"],"suffixes":[]},{"firstnames":["Radhia"],"propositions":[],"lastnames":["Cousot"],"suffixes":[]}],"isbn":"978-1-4503-1832-7","pages":"371–384","publisher":"ACM","timestamp":"Thu, 24 Jun 2021 16:19:31 +0200","title":"Fully abstract compilation to JavaScript","url":"https://doi.org/10.1145/2429069.2429114","year":"2013","bibtex":"@inproceedings{DBLP:conf/popl/FournetSCDSL13,\n author = {C{\\'{e}}dric Fournet and Nikhil Swamy and Juan Chen and\nPierre{-}{\\'{E}}variste Dagand and\nPierre{-}Yves Strub and Benjamin Livshits},\n bibsource = {dblp computer science bibliography, https://dblp.org},\n biburl = {https://dblp.org/rec/conf/popl/FournetSCDSL13.bib},\n booktitle = {The 40th Annual {ACM} {SIGPLAN-SIGACT} Symposium on\nPrinciples of Programming Languages, {POPL} '13,\nRome, Italy - January 23 - 25, 2013},\n doi = {10.1145/2429069.2429114},\n editor = {Roberto Giacobazzi and Radhia Cousot},\n isbn = {978-1-4503-1832-7},\n pages = {371--384},\n publisher = {{ACM}},\n timestamp = {Thu, 24 Jun 2021 16:19:31 +0200},\n title = {Fully abstract compilation to JavaScript},\n url = {https://doi.org/10.1145/2429069.2429114},\n year = {2013}\n}\n\n","author_short":["Fournet, C.","Swamy, N.","Chen, J.","Dagand, P.","Strub, P.","Livshits, B."],"editor_short":["Giacobazzi, R.","Cousot, R."],"key":"DBLP:conf/popl/FournetSCDSL13","id":"DBLP:conf/popl/FournetSCDSL13","bibbaseid":"fournet-swamy-chen-dagand-strub-livshits-fullyabstractcompilationtojavascript-2013","role":"author","urls":{"Paper":"https://doi.org/10.1145/2429069.2429114"},"metadata":{"authorlinks":{"strub, p":"https://www.strub.nu/"}},"downloads":1,"html":""},"bibtype":"inproceedings","biburl":"http://www.strub.nu/biblio/strub.bib","creationDate":"2014-11-06T00:16:25.463Z","downloads":1,"keywords":[],"search_terms":["fully","abstract","compilation","javascript","fournet","swamy","chen","dagand","strub","livshits"],"title":"Fully abstract compilation to JavaScript","year":2013,"dataSources":["q4vBTsWpxooqz6FoB"]}