Watch this space for schedule updates when C311 is next offered. To give you an idea of topics likely to be covered, the spring 2010 schedule is below.
This schedule is subject to change.
| Week of | Topic |
|---|---|
| 1/11 | Recursion and higher-order functional abstractions |
| 1/18 | Free, bound, and lexical address; introduction to interpreters |
| 1/25 | Mini-exam on 1/26; representation-independence with respect to environments |
| 2/1 | Representation-independence with respect to functions; dynamic and lexical scope |
| 2/8 | Parameter-passing mechanisms |
| 2/15 | Continuation-passing style |
| 2/22 | Midterm exam on 2/23; continuation-passing interpreters |
| 3/1 | Representation-independence with respect to continuations |
| 3/8 | Registerization; trampolining; ParentheC |
| 3/15 | Spring break |
| 3/22 | Monadic programming |
| 3/29 | Introduction to logic programming |
| 4/5 | Types and type inference |
| 4/12 | Implementation of miniKanren; constraint logic programming |
| 4/19 | Review day; midterm exam on 4/22 |
| 4/26 | TBA |
| 5/3 | Final exam |