Bibliographie
=============

Livres:

• Modern Compiler Implementation In ML, A. Appel
• Compiling with continuations, A. Appel
• The Java Virtual Machine, J. Meyer et T. Downing
• Virtual Machines, Ian D. Craig

Articles:

• Compiling with Continuations, Continued, Andrew Kennedy
  https://www.microsoft.com/en-us/research/wp-content/uploads/2007/10/compilingwithcontinuationscontinued.pdf

• Compiling Standard ML to Java Bytecodes, N. Benton, A. Kennedy, G. Russell
  https://www.researchgate.net/profile/Nick-Benton/publication/2245252_Compiling_Standard_ML_to_Java_Bytecodes/links/0c9605264f81a45cf1000000/Compiling-Standard-ML-to-Java-Bytecodes.pdf

Liens:

• Un cours de compilation à l’ENS Paris : https://www.lri.fr/~filliatr/ens/compil/
  (Cf en particulier le cours 3)

• Un cours de Xavier Leroy au MPRI : https://xavierleroy.org/mpri/2-4/transformations.pdf

• Cours de Xavier Leroy au collège de france : https://www.college-de-france.fr/site/xavier-leroy/course-2019-2020.htm
  (sémantique, compilateurs, certification, …)