|Website:||website met extra informatie|
|Onderwijs:||Het vak INFOTS wordt in 2013/2014 niet aangeboden.|
|Nota bene:||Er is geen recente vakbeschrijving beschikbaar.|
Onderstaande tekst is een oude vakbeschrijving uit collegejaar 2007/2008
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:
|Inspanningsverplichting voor aanvullende toets:||Om aan de aanvullende toets te mogen meedoen moet de oorspronkelijke uitslag minstens 4 zijn.|