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 |
01/13 |
| Racket & Recursion |
| Chs 1, 2, & 4, SAOP |
| |
01/15 |
| Higher-Order Functions & Primitive Recursion letrec |
| Ch 7, SAOP |
| |
01/20 |
| No Class <Martin Luther King Jr. Day> |
|
| ||
01/22 |
| quasiquote, match and the Lambda Calculus |
| Ch 5.1-5.2, SAOP |
| |
01/27 |
| Free and bound variables, lexical address |
| Chs 2 & 3, EOPL |
| |
01/29 |
| Intro to Interpreters |
| Chs 2 & 3, EOPL |
| |
02/03 |
| Representation Independence w.r.t. Environments, Closures |
|
| ||
02/05 |
| lexical scoping, dynamic scoping |
|
| ||
02/10 |
| First exam Q&A |
|
| ||
02/12 |
| First exam |
|
| ||
02/17 |
| Parameter-Passing Styles |
| Ch 4.5, EOPL |
| |
02/19 |
| Intro to continations and CPS |
| Chs 16 & 17, SAOP; Ch 6.1-6.3 EOPL |
| |
02/24 |
| CPS/CPS interpreters |
| Ch 5.1, EOPL |
| |
02/26 |
| Representation independence w.r.t. continuations |
|
| ||
03/03 |
| Registerization |
| Ch 5.3, EOPL |
| |
03/05 |
| Trampolining |
| Ch 5.2, EOPL |
| |
03/10 |
| ParentheC |
|
| ||
03/12 |
| Introduction to miniKanren |
|
| ||
03/17 |
| No Class <Spring break> |
|
| ||
03/19 |
| No Class <Spring break> |
|
| ||
03/24 |
| Pre-mid-term Q&A |
|
| ||
03/26 |
| Mid-term exam |
|
| ||
03/31 |
| Relational interpreter |
|
| ||
04/02 |
| Hinley-Milner style Type Inferencing |
|
| ||
04/07 |
| HM Type for Fix and More miniKanren |
| Ch 7.3-7.4, EOPL |
| |
04/09 |
| miniKanren implementation |
| Ch 7.1-7.2, EOPL |
| |
04/14 |
| Store Passing Style & Monads (tentative) |
|
| ||
04/16 |
| More Monads (tentative) |
|
| ||
04/21 |
| The Little Typer: Chapters 1 and 2 |
|
| ||
04/23 |
| The Little Typer: Chapters 3 and 4 |
|
| ||
04/28 |
| The Little Typer: Chapters 5 and 6 |
|
| ||
04/30 |
| Pre-final Q&A |
|
|