CSCI 1730 · Fall 2026

Credits🔗

We tiptoe on the broad shoulders of giants. The material in this course is heavily inspired by Structure and Interpretation of Computer Programs (Abelson and Sussman with Sussman), Essentials of Programming Languages (Friedman, Wand, and Haynes), Types and Programming Languages (Pierce), and Semantics Engineering with PLT Redex (Felleisen, Findler, Flatt). You should read these works and authors in the original.

Thanks also to the many generations of prior TAs who have shaped this course’s design, especially the grad TAs who have contributed several educational innovations in teaching style and content.

The course staff are generously supported by Zulip, which generously offers free access to a commercial tier for academic projects. They help the course run smoothly in the background.

The site’s primary typeface is IBM Plex Serif by Mike Abbink and Bold Monday, courtesy Google Fonts.

The site’s color scheme was originally Palette 207308 from ColorHunt, subsequently modified by Mark Lavrentyev and others.