University of Virginia: Wes Weimer's "Type Checking and Static Semantics"
Read these slides, which discuss typed programming languages.
Click http://web.archive.org/web/20140722173038/http://www.cs.virginia.edu/~cs415/lectures/weimer-pl-type-checking.pdf link to open resource.