http://hackage.haskell.org/trac/ghc/wiki/Commentary/Compiler/GeneratedCode
Stewart - Multi-paradigm Just-In-Time Compilation phd
http://blog.ezyang.com/2011/04/tracing-the-compilation-of-hello-factorial/