I am grateful to the following people for their helpful comments and suggestions: Franck van Breugel, Mike Erdmann, Frank Pfenning, Chris Stone, Matthias Felleisen, Jeannette Wing.  I am also grateful to the many students of 15-212 who used these notes and sent in their suggestions over the years.