Calendar 📅
Weekly Pattern
| Mon | Tue | Wed | Thu | Fri | |
|---|---|---|---|---|---|
| Class | No class 🏖️😎 | Lecture 🧑🏫 (12:30-1:50pm, Phleps 2514) | Lecture 🧑🏫 (12:30-1:50pm, Phleps 2514) | Lecture 🧑🏫 (12:30-1:50pm, Phleps 2514) | Section 🗣️ (11am-12:20pm, Phelps 1440) |
| OH | Jiaming (2-4pm, CSIL) | Junrui (2-3pm, Phelps 2510) | Junrui (2-3pm, Phelps 2510) | Junrui (2-3pm, Phelps 2510) | Junrui (1-2pm, Building 936 aka "TA trailer") |
Schedule
| Date | Topic | Out | Due |
|---|---|---|---|
| Week 1 | How to design a programming language? | ||
| 06/24 | Intro, Syntax I | ||
| 06/25 | Syntax II, Inference Rules | HW 1 | |
| 06/26 | Operational Semantics | ||
| 06/27 | Section: Python Tutorial | ||
| Week 2 | What makes a programming language? | ||
| 07/01 | Inference Rules Workshop | ||
| 07/02 | Variables | ||
| 07/03 | Lambda Calculus | HW 2 | HW 1 |
| 07/04 | No class (Independence Day) | ||
| Week 3 | How to abstract data? | ||
| 07/08 | Call-by | ||
| 07/09 | Rice's Theorem, Soundness & Completeness | ||
| 07/10 | Types | ||
| Week 4 | How to abstract computation? | ||
| 07/14 | - | HW 2 | |
| 07/15 | Quiz 1 | ||
| 07/16 | Type Soundness | HW 3 | |
| 07/17 | Bidirectional Typing | ||
| Week 5 | How to change the world? | ||
| 07/22 | Sum Types | ||
| 07/23 | Pattern Matching | HW 3 (written) | |
| 07/24 | Quiz 2 | ||
| 07/25 | Section | HW 4 | HW 3 (coding) |
| Week 6 | What is the future of programming like? | ||
| 07/29 | (1-1 quiz correction appointments) | ||
| 07/30 | (1-1 quiz correction appointments) | ||
| 07/31 | (1-1 quiz correction appointments) | ||
| 08/03 | (End of summer session A) | HW 4 |