(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/