publications.bib

@@ -209,21 +209,6 @@ We present JSCert, a formalisation of the current ECMA standard in the Coq proof
   url       = {https://doi.org/10.4230/DagRep.5.5.1},
 }
 
-@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},
-  title     = {A trusted mechanised JavaSript specification},
-  booktitle = {The 41st Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} '14, San Diego, CA, USA, January 20-21, 2014},
-  year      = {2014},
-  editor    = {Suresh Jagannathan and Peter Sewell},
-  pages     = {87--100},
-  publisher = {{ACM}},
-  bibsource = {dblp computer science bibliography, http://dblp.org},
-  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/popl/BodinCFGMNSS14},
-  doi       = {10.1145/2535838.2535876},
-  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
-  url       = {http://doi.acm.org/10.1145/2535838.2535876},
-}
-
 @Proceedings{DBLP:conf/esop/2013,
   title     = {Programming Languages and Systems - 22nd European Symposium on Programming, {ESOP} 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2013, Rome, Italy, March 16-24, 2013. Proceedings},
   year      = {2013},