Schedule
You must complete the assigned reading before coming to class. The lectures will assume you’ve read and understood most of the material. Homework assignments are due at midnight before class on the date noted.
| Date | Notes |
|---|---|
| Tuesday, Jan 21 | Reading: CPDT 1 and 2.1. Homework: Boolean Machine out. |
| Thursday, Jan 23 | No class meeting. (Arjun at POPL.) |
| Tuesday, Jan 28 | Reading: CPDT 2.2. Homework: Boolean Machine due. Homework: Typed Machine out. |
| Thursday, Jan 30 | Reading: CPDT 3.1–3.5. |
| Tuesday, Feb 4 | Reading: CPDT 3.6–3.9. Homework: Typed Machine due. Homework: Tries out. |
| Thursday, Feb 6 | Reading: CPDT 4. |
| Tuesday, Feb 11 | Reading: CPDT 6.1–6.3. |
| Thursday, Feb 13 | Reading: CPDT 6.4–6.5. Homework: Tries due. Homework: Binary Search Tree-ness out. |
| Tuesday, Feb 18 | No class meeting (Monday schedule at UMass Amherst). |
| Thursday, Feb 20 | Reading: CPDT 13. Homework: Group Theory out. |
| Tuesday, Feb 25 | No class meeting (Arjun at CRA-CMW.) Reading CPDT 8.1–8.3 |
| Thursday, Feb 27 | Reading: CPDT 8.4–8.5. Homework: Binary Search Tree-ness due. |
| Tuesday, Mar 4 | No class meeting (Arjun at ONS.) |
| Thursday, Mar 6 | Type soundness lecture. |
| Tuesday, Mar 11 | Reading: Locally nameless representation of binders. |
| Thursday, Mar 13 | Homework: Group Theory due. |
| Tuesday, Mar 18 | No class meeting. (Spring Break.) |
| Thursday, Mar 20 | No class meeting. (Spring Break.) |
| Tuesday, Mar 25 | SF: Imp all 1-3 star exercises up to loop_never_stops. Skip pup_to_n. |
| Tuesday, Mar 27 | [SF: Equiv] all 1-3 star exercises up to fold_constants_com_sound. |
Calendar
I use this calendar for longer term course planning, but it may be out of date. The schedule above is more accurate.