Schedule
1 Key
Abbreviation |
| Title |
EOPL |
| "Essentials of Programming Languages", 3rd edition |
SAOP |
| "Scheme and the Art of Programming" |
Check registrar for the schedule of our final exam.
2 Schedule Calendar
You can find lecture time, lab time, office hour time, assignment due date, and exam time in this calendar. Click "Today" to find today’s schedule.
3 Detailed Schedule
Note: This schedule is subject to change. The optional texts and notes are, as the name suggests, merely supplementary.
Week |
| Topic |
| Optional Texts |
| Optional Notes |
08/27 |
| Racket & Recursion |
| Chs 1, 2, & 4, SAOP |
| |
08/29 |
| Higher-Order Functions & Primitive Recursion letrec |
| Ch 7, SAOP |
| |
09/03 |
| quasiquote, match and the Lambda Calculus |
| Ch 5.1-5.2, SAOP |
| |
09/05 |
| Free and bound variables, lexical address |
| Chs 2 & 3, EOPL |
| |
09/10 |
| Intro to Interpreters |
| Chs 2 & 3, EOPL |
| |
09/12 |
| Representation Independence w.r.t. Environments, Closures |
|
| ||
09/17 |
| lexical scoping, dynamic scoping |
|
| ||
09/19 |
| First exam Q&A |
|
| ||
09/24 |
| First exam |
|
| ||
09/26 |
| Parameter-Passing Styles |
| Ch 4.5, EOPL |
| |
10/01 |
| Intro to continations and CPS |
| Chs 16 & 17, SAOP; Ch 6.1-6.3 EOPL |
| |
10/03 |
| CPS/CPS interpreters |
| Ch 5.1, EOPL |
| |
10/08 |
| Representation independence w.r.t. continuations |
|
| ||
10/10 |
| Registerization |
| Ch 5.3, EOPL |
| |
10/15 |
| Trampolining |
| Ch 5.2, EOPL |
| |
10/17 |
| ParentheC |
|
| ||
10/22 |
| Introduction to miniKanren |
|
| ||
10/24 |
| Pre-mid-term Q&A |
|
| ||
10/29 |
| Mid-term exam |
|
| ||
10/31 |
| Relational interpreter |
|
| ||
11/05 |
| Hinley-Milner style Type Inferencing |
|
| ||
11/07 |
| HM Type for Fix and More miniKanren |
| Ch 7.3-7.4, EOPL |
| |
11/12 |
| miniKanren implementation |
| Ch 7.1-7.2, EOPL |
| |
11/14 |
| Store Passing Style & Monads (tentative) |
|
| ||
11/19 |
| More Monads (tentative) |
|
| ||
11/21 |
| The Little Typer: Chapters 1 and 2 |
|
| ||
11/26 |
| No Class <Thanksgiving break> |
|
| ||
11/28 |
| No Class <Thanksgiving break> |
|
| ||
12/03 |
| The Little Typer: Chapters 3 and 4 |
|
| ||
12/05 |
| The Little Typer: Chapters 5 and 6 |
|
| ||
12/10 |
| The Little Typer: Chapters 7 and 8 |
|
| ||
12/12 |
| To be decided |
|
| ||
12/17 |
| Final exam (C311: 12:40 p.m.-2:40 p.m) |
|
| ||
12/19 |
| Final exam (B521: 10:20 a.m.-12:20 p.m.) |
|
|