Calendar 📅
| 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 | Operational Semantics Practicum | ||
| 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 | Types | ||
| 07/09 | Finite and recursive types | ||
| 07/10 | Pattern-matching | HW 3 | HW 2 |
| Week 4 | How to abstract computation? | ||
| 07/15 | Quiz 1 (scheduled) | ||
| 07/16 | Polymorphism, type inference | ||
| 07/17 | Defunctionalization, continuation-passing | HW 4 | HW 3 |
| Week 5 | How to change the world? | ||
| 07/22 | Mutable states | ||
| 07/23 | Effect handlers | ||
| 07/24 | Quiz 2 (tentative) | HW 5 | HW 4 |
| Week 6 | What is the future of programming like? | ||
| 07/29 | Advanced topic, TBD | ||
| 07/30 | Advanced topic, TBD | ||
| 07/31 | Advanced topic, TBD | ||
| 08/02 | (End of summer session A) | HW 5 |
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") |
