(Will be) an implementation of Tiger in ML. I'm working through Andrew W. Appel's "Modern Compiler Implementation in ML". The first 12 chapters develop a complete modern compiler and runtime for Tiger (an Algol-like language with some ML inspirations). Implementation is in ML (which seems to be Appel's preferred language) - although there are "translations" for both C and Java. See http://www.cs.princeton.edu/~appel/modern/ml/
thomasyonug/tiger-ml
Compiler for Tiger based on Andrew Appel's Modern Compiler Implementation in ML
Standard ML