• Programming Languages: Application and Interpretation is my programming languages textbook
  • all my technical papers, with abstracts, links to the documents, and cross-references to other and newer work
  • How to Design Programs, MIT Press 2001, with Felleisen, Findler and Flatt
  • articles in our departmental newsletter