| No. | Date | Topic(s) | Notes | Slides |
| 1 |
2007-01-09 |
Introduction |
PDF |
PDF |
| 2 |
2007-01-11 |
Syntax and semantics |
PDF |
PDF |
| 3 |
2007-01-16 |
Binding and argument passing |
PDF |
PDF |
| 4 |
2007-01-18 |
Lambda calculus |
PDF |
|
| 5 |
2007-01-23 |
Lambda calculus part 2 |
PDF |
|
| 6 |
2007-01-25 |
Lambda calculus part 3 and functional programming |
PDF |
PDF |
| 7 |
2007-01-30 |
Types |
PDF |
PDF |
| 8 |
2007-02-01 |
Types part 2 |
PDF |
|
| 9 |
2007-02-06 |
Object-oriented programming |
PDF |
PDF |
| 10 |
2007-02-08 |
Object-oriented programming part 2 |
PDF |
|
| - |
2007-02-13 |
Midterm |
|
|
| 11 |
2007-02-15 |
Object-oriented programming part 3 |
PDF |
|
| 12 |
2007-02-20 |
Stack-oriented lanauges |
PDF |
|
| 13 |
2007-02-22 |
Logic programming |
PDF |
|
| 14 |
2007-02-29 |
Logic programming part 2 |
PDF |
|
| 15 |
2007-03-01 |
Logic programming part 3 |
PDF |
|
| 16 |
2007-03-06 |
Exceptions |
PDF |
PDF |
| 17 |
2007-03-08 |
Concurrency |
PDF |
|
| 18 |
2007-03-13 |
Extent and closures |
PDF |
|
