Publications of Alan Schmitt

Load the BibTeX file

International Conferences

  1. Martin Bodin, Arthur Charguéraud, Daniele Filaretti, Philippa Gardner, Sergio Maffeis, Daiva Naudziuniene, Alan Schmitt, Gareth Smith. A Trusted Mechanised JavaScript Specification. In POPL 2014 - 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Diego, United States, November 2013. download
  2. Ivan Lanese, Michael Lienhardt, Antares, Claudio Mezzina, Alan Schmitt, Jean-Bernard Stefani. Concurrent Flexible Reversibility. In 22nd European Symposium on Programming, ESOP 2013, Matthias Felleisen, Philippa Gardner (eds.), Lecture Notes in Computer Science (LNCS), Volume 7792, Pages 370-390, Rome, Italy, March 2013. download
  3. Martin Bodin, Alan Schmitt. A Certified JavaScript Interpreter. In JFLA - Journées francophones des langages applicatifs, Damien Pous, Christine Tasson (eds.), Aussois, France, February 2013. download

National Conferences

  1. Simon Boulier, Alan Schmitt. Formalisation de HOCore en Coq. In JFLA - Journes Francophones des Langages Applicatifs - 2012, Carnac, France, February 2012. download

Research Reports

  1. Pierre Genevs, Nabil Layada, Alan Schmitt. Logical Combinators for Rich Type Systems. Research Report INRIA, No 0, July 2012. download