7 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) and Essentials of Programming Languages (Friedman, Wand, and Haynes), as well as Types and Programming Languages (Pierce). You should read these works and authors in the original.