language agnostic - Learning to write a compiler - Stack Overflow
http://matt.might.net/articles/compiling-up-to-lambda-calculus/
http://research.microsoft.com/en-us/um/people/simonpj/papers/pj-lester-book/
http://pages.cs.wisc.edu/~cs536-1/notes/1.overview.html
