My work through Andrew W. Appel's "Modern Compiler Implementation in ML"