This is the archived website of SI 413 from the Fall 2013 semester. Feel free to browse around; you may also find more recent offerings at my teaching page.
Structure and Interpretation of Computer Programs (SICP) (available free online), Sections 1.3 and 3.1
Programming Language Pragmatics (PLP), Sections 6.6.1 and 10.7
SICP, Section 5.4.2
PLP, Sections 10.5, 10.6, and 10.8
Code from these notes: u03.scm