Last updated: 1 October 2003
For the first two weeks, we plan to study and discuss Chapter 9 of a draft manuscript that Benjamin Pierce is editing. For the first week (i.e., before we meet), please read pages 371 to 398.
This manuscript is not for wide consumption or distribution. We have permission to use the draft in 590L (and feel free to read other chapters). In return, it would be great to collect and organize constructive comments for the authors. Here it is.
At the first meeting, we will also discuss an overview of the papers and manuals we hope to consider during the quarter. More information will appear here soon.
| Date | Topic | Presenter |
|---|---|---|
| 1 Oct. | Pierce/Harper draft pp. 371-398 | Grossman |
| 8 Oct. | Pierce/Harper draft pp. 398-426 | Keunwoo |
| 15 Oct. | Recursive Modules (Leroy) | Sorin & Charlie |
| 22 Oct. | 1st-class, higher-order, non-dependent (Russo) | Keunwoo & Todd |
| 29 Oct. | NO CLASS (OOPSLA) | |
| 5 Nov. | Units, Jiazzi (Flatt et al.) | Sorin |
| 12 Nov. | Ada and Modula-3 | Hal |
| 19 Nov. | EML + Modules (also polymorphic variants?) | Andrew |
| 26 Nov. | Aspects + Modules (more Jiazzi) | Miryung |
| 3 Dec. | Linking (Cardelli) | Andrei |
| 10 Dec. | Research-Directions Discussion |