Principles of PL
Principles of PL
We will study techniques for thinking crisply about programming languages, write some fascinating programs, and discuss various design tradeoffs. We will be working through the FRAP book using the Coq proof assistant, and also discussing some classic and/or provocative papers on verification.
Meeting: Mon, Wed at 10am in ARC G070
Instructor: Zach Tatlock
- Office Hours: Fri at 11am in CSE 546
TA: Talia Ringer
- Office Hours: Wed at 11:30 in CSE 202
- Mattermost (chat)
Discussion: CSE 505 18au Group
Submissions & Grades: Gradescope