[1] The FLINT project home page is:
http://flint.cs.yale.edu/flint/
[2] A-Normal Form is described in:
The Essence of Compiling with Fates
Cormac Flanagan, Amr Sabry, Bruce F Duba, Matthias Felleisen (Rice CSci)
1993, 11p
http://www.soe.ucsc.edu/~cormac/papers/pldi93.ps
[3] Principled Compilation and Scavenging
Stefan Monnier, 2003 [PhD Thesis, U Montreal]
http://www.iro.umontreal.ca/~monnier/master.ps.gz
See also Stefan's publications page:
http://www.iro.umontreal.ca/~monnier/
[4] The Standard ML of New Jersy home page is
http://www.smlnj.org/
[5] Compiling Standard ML for Efficient Execution on Modern Machines
1994 145p Zhong Shao (Princeton PhD thesis under Andrew Appel)
http://flint.cs.yale.edu/flint/publications/zsh-thesis.ps.gz
[6] An Implementation of Standard ML Modules
1988 12p David MacQueen
http://www-2.cs.cmu.edu/~rwh/courses/modules/papers/macqueen88/paper.pdf
[7] Standard ML of New Jersey
1991 13p Andrew W Appel, David B MacQueen
http://www.cs.princeton.edu/~appel/papers/smlnj.ps
[8] Modern Compiler Implementation in ML: Basic Techniques
Andrew W Appel 1997 390p.
[9] MLRISC home page:
http://cs.nyu.edu/leunga/www/MLRISC/Doc/html/INTRO.html
[10] A Portable and Optimizing Back End for the SML/NJ Compiler
Lal George, Florent Guillame, John H Reppy, 1994 18p
http://download.at.kde.org/languages/ml/papers/94-cc-george.ps
[11] MLRISC A Framework for retargetable and optimizing compiler back ends
Lal George, Allen Leung
2003 144p
http://cs.nyu.edu/leunga/www/MLRISC/Doc/latex/mlrisc.ps
[12] An Overview of the FLINT/ML Compiler
Zhong Shao (Yale)
1997, 10p
http://flint.cs.yale.edu/flint/publications/tic97.html
[13] Separate Compilation for ML
Andrew W Appel (Princeton), David B MacQueen (Bell Labs)
1994, 11p
http://citeseer.ist.psu.edu/57261.html
[14] Fate-Passing, Closure-Passing Style
Andrew W. Appel, Trevor Jim (Bell Labs)
1988, 11p
http://www.cs.princeton.edu/~appel/papers/cpcps.ps
Still provides a good overview of the FPS passes in SML/NJ.