Programming Languages

Course Information

Staff

• James Wilcox (he/him, they/them)

• Zachary Tatlock (he/him)

• Gus Smith (he/him)

• Audrey Seo (she/her, they/them)

• Anjali Pal (she/her)

Office Hours

• 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

Administrative

• Course Overview and Policies

  • Planned Course Timeline

• Course Chat

• Discussion Board

• Gradescope (add code K3R258)

Lecture

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

• Tuesday/Thursday at 10:00am in MGH 251

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

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.