Stanford University: Keith Schwarz's "Semantic Analysis"

Read the notes and the slides for an overview of semantic analysis.