Programming Languages
UW CSE 505, Spring 2020
UW CSE 505, Spring 2020
Instructor: Zachary Tatlock
TA: Ben Kushigian
The course closely follows Adam Chlipala's excellent textbook Formal Reasoning About Programs.
We also use superb explanations and insights from Dan Grossman's classic version of 505.