BibTeX record conf/popl/BodinCFGMNSS14

• > Home > conf/popl/BodinCFGMNSS14

@inproceedings{DBLP:conf/popl/BodinCFGMNSS14,
  author       = {Martin Bodin and
                  Arthur Chargu{\'{e}}raud and
                  Daniele Filaretti and
                  Philippa Gardner and
                  Sergio Maffeis and
                  Daiva Naudziuniene and
                  Alan Schmitt and
                  Gareth Smith},
  editor       = {Suresh Jagannathan and
                  Peter Sewell},
  title        = {A trusted mechanised JavaScript specification},
  booktitle    = {The 41st Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of
                  Programming Languages, {POPL} '14, San Diego, CA, USA, January 20-21,
                  2014},
  pages        = {87--100},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2535838.2535876},
  doi          = {10.1145/2535838.2535876},
  timestamp    = {Sun, 12 Feb 2023 18:48:25 +0100},
  biburl       = {https://dblp.org/rec/conf/popl/BodinCFGMNSS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}