Programming Languages

Course Information

Staff

• James Wilcox

• Zachary Tatlock

• Oliver Flatt

• Kevin Mu

Office Hours

• Tuesdays 5:30-6:30pm (James) in CSE1 440 and on Zoom

• Thursdays 2:30 - 3:30pm (Oliver) on Zoom

• Sundays 1:30 - 2:30pm (Zach) via Zoom

Administrative

• Course Overview and Policies

  • Planned Course Timeline

• Course Chat

• Discussion Board

• Gradescope

Lecture

• We are lucky to be able to offer each week's content in two formats:

• Tuesday/Thursday at 10:00am in CSE2 G04

• Tuesday night time at 6:30pm in CSE2 G10

Materials

• Lecture Slides and Course Notes

• Folder of all non-public materials (reading notes, etc.; requires CSE netid login)

• Lecture Code and Homework Assignments

• Videos (Panopto --> requires UW NetID)

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.