|Website:||website containing additional information|
|Period:||periode 1 (week 36 t/m 45, dwz 5-9-2007 t/m 9-11-2007; herkansing week 1)|
|Participants:||up till now 7 subscriptions|
|Schedule:||Dit is een oud rooster!
In this seminar, we will study several aspects of (static) type systems for programming languages, such as for example:
We will start with the Hindley-Milner system known from Haskell, and then pick from the above list or other topics according to the preference of the participants.
A good overview of the field is provided by the following two books:
During the seminar, we will mostly study actual research papers, both classic and recent. The first two papers we will read are:
We will usually study research papers or book chapters covering specific areas and topics in the field of type systems. Students are required to read the assigned papers thoroughly prior to the session. During sessions, students will be required to discuss, summarize, and evaluate the papers spontaneously. Due to the relatively small number of expected participants and the fact that staff members will also participate in the sessions, we prefer lively discussions between all the people present rather over classical presentations.
In addition to the preparation of the papers, students are expected to form small teams and work on a specific type system extension themselves. The idea is to read about the chosen extension, formalize it in the context of a real programming language, if possible to implement the extension, and to document/present the work done. Projects will be assigned in the first week(s) of the course and span the entire course period.
The final grade will be computed as follows:
|Minimum effort to qualify for 2nd chance exam:||It is possible to do a 2nd chance exam if the final grade computed as above is at least 4.0, but lower than 5.5.|