Massachusetts Institute of Technology: S. Amarasinghe and M. Rinard's "Semantic Analysis"

Study the slides on type systems and what to check for when building intermediate representations for various language constructs.

Click http://web.archive.org/web/20151005205622/http://ocw.mit.edu/courses/electrical-engineering-and-computer-science/6-035-computer-language-engineering-spring-2010/lecture-notes/MIT6_035S10_lec06.pdf link to open resource.