Programming Languages
UW CSE 505, Spring 2021
Course Information
Staff
James Wilcox (he/him, they/them)
Office Hours: Fridays 10:30am-11:30am
Zachary Tatlock (he/him)
Office Hours: Mondays 2pm - 3pm PT
Brendan Murphy (he/him)
Office Hours: Saturday 12pm-2pm PT.
Jack Zhang (he/him)
Office Hours: Wednesday 11am-12am PT
Mike He (he/him)
Office Hours: Sundays 12pm - 2pm PT
Yihong Zhang (he/him, they/them)
Office Hours: Thursdays 2pm - 3pm PT
Administrative
Gradescope (add code ZRJV4G)
Lecture
We are lucky to be able to offer each lecture in both the morning and evening on Tuesdays and Thursdays:
Tuesday 10am - 11:20am PT
Tuesday 6:30pm - 7:50pm PT
Thursday 10am - 11:20am PT
Thursday 6:30pm - 7:50pm PT
Participants are welcome to attend whichever times are most convenient, but should try to be in lecture at least once on Tuesdays and at least once on Thursdays.
For all lectures: call in via this Zoom link!
Materials
Videos (CSE NetID required)
Credits
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.