590L, Fall 2003, Module Systems

Wednesdays 3:00-4:00 p.m., Allen Center 203

Questions: Craig Chambers or Dan Grossman

Last updated: 1 October 2003

This quarter, 590L (Programming Languages) is studying module systems and related language design/implementation issues.

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.

Schedule

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