Programming Languages
UW CSE 505, Winter 2023
UW CSE 505, Winter 2023
James Wilcox (he/him, they/them)
Zachary Tatlock (he/him)
Gus Smith (he/him)
Audrey Seo (she/her, they/them)
Anjali Pal (she/her)
Tuesdays 5:30-6:30pm (James) in CSE1 440 and on Zoom
Wednesdays 5:00-6:00pm (Zach) on Zoom
Thursdays 1:00-2:00pm (Anjali) in CSE2 150 and on Zoom
Fridays 11:30am-12:30pm (Gus) in CSE2 274 and on Zoom
Fridays 2:00-3:00pm (Audrey) in CSE2 121 and on Zoom
Sundays 12:30-1:30pm (rotating staff member) on Zoom
Gradescope (add code K3R258)
We are lucky to be able to offer each week's content in two formats:
Folder of all non-public materials (reading notes, etc.; requires CSE netid login)
Videos (Panopto --> requires UW NetID)
This course was grown from Dan Grossman's superb explanations and insights in the classic version of 505.
We have adopted several lectures and various infrastructure from James Wilcox's first-rate advanced PL course CSE 490P.
We borrow many examples and explanations from Adam Chlipala's excellent textbook Formal Reasoning About Programs.
We frequently refer to the legendary Software Foundations series for its unparalleled introduction to Coq.