Fully abstract compilation to JavaScript. Fournet, C., Swamy, N., Chen, J., Dagand, P., Strub, P., & Livshits, B. In Giacobazzi, R. & Cousot, R., editors, The 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '13, Rome, Italy - January 23 - 25, 2013, pages 371–384, 2013. ACM.
Fully abstract compilation to JavaScript [link]Paper  doi  bibtex   
@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, 03 Sep 2020 01:00:00 +0200},
  title = {Fully abstract compilation to JavaScript},
  url = {https://doi.org/10.1145/2429069.2429114},
  year = {2013}
}

Downloads: 0