An optimizing compiler for the Standard ML programming language - View it on GitHub