Publications
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 (first edition 2001, second edition 2018), with Felleisen, Findler, and Flatt
Our other introductory programming book,
A Data-Centric Introduction to Computing
, with Fisler, Lerner, and Politz
Memos
on writing, publishing, academia, cricket, and more
Articles in our
departmental newsletter