- All my technical papers, with abstracts, links to the documents, and cross-references to other and newer work
- Some of my technical talks
- My programming languages textbook, Programming Languages: Application and Interpretation
- Our introductory programming book, How to Design Programs, MIT Press 2001, with Felleisen, Findler and Flatt (see also the draft of the second edition)
- Memos on how to publish your next book, how to write recommendation letters and paper reviews, and how funding works in graduate school
- Articles in our departmental newsletter