Seminar: Type Systems
| Leitung: | Prof. Dr. Peter Thiemann | |
| Mitwirkung: | Annette Bieniusa | |
| Zeit und Ort: |
Di,14 - 16 in Geb. 101, Raum 01-018
| |
Beschreibung
Typsysteme sind ein wichtiger Bestandteil moderner Programmiersprachen. Sie garantieren gewisse Sicherheitsaspekte von Programmen, können bei diversen Optimierung helfen und dienen auch der Dokumentation.
In den ersten Wochen des Seminars werden die notwendingen Grundlagen durch die Lektüre und gemeinsame Diskussion ausgewählter Kapitel aus "Types and Programming Languages" (siehe Material) erworben. In späteren Seminarsitzungen stellen dann die Teilnehmer ihre erarbeiteten Themen vor.
Prüfungsleistung
- Vorbereitung und Halten eines 45minütigen Vortrags
- Erstellen einer Ausarbeitung (10 - 15 Seiten)
- Aktive Teilnahme an den Seminarsitzungen
In einem Seminar werden in erster Linie Fachkenntnisse vertieft, aber auch Kompetenzen vermittelt, die eine notwendige Grundlage für eine wissenschaftliche Arbeitsweise sind. Dazu gehören:
- eigenständige Literaturrecherche
- Lesen und Verstehen von wissenschaftlichen Texten
- Vortragstechniken
- Erstellen einer schriftlichen Ausarbeitung
Zeitplan
In den ersten Sitzungen werden wir folgende Abschnitte aus Types and Programming Languages von Benjamin C. Pierce besprechen:
| Datum | Thema | Material |
|---|---|---|
| 28.10.08 | Grundlagen, ungetypte arithmetische Ausdrücke | S. 1-44 |
| 04.11.08 | Ungetypter Lambda-Kalkül, Terme | S. 51-82 |
| 11.11.08 | Getypte arithmetische Ausdrücke und getypter Lambda-Kalkül | S. 89-112 |
| 18.11.08 | Erweiterungen, Normalisierung | S. 117-152 |
| 25.11.08 | Subtyping | S. 179-220 |
| 02.12.08 | Polymorphismus: Universal types | S. 339-362 |
In der Sitzung am 2.12.2008 werden die Vortragsthemen verteilt. Die Vorträge der Seminarteilnehmer werden im Januar/Februar stattfinden.
Vortragstermine
| Datum | Vortragender | Thema |
|---|---|---|
| 03.02.09 | Christian Simon | Typed Assembly Language |
| 03.02.09 | Olena Barth | Dependent Types |
| 10.02.09 | Steffen Wittmer | Regular Expression Types |
| 10.02.09 | Benus Becker | Linear Types |
Ausarbeitung
Die Ausarbeitung soll 10-15 Seiten umfassen. Sie muss mit
erstellt werden. Abgabetermin für die Ausarbeitung ist der 02.03.2009.
Themen
| Thema | Student | Betreuer |
|---|---|---|
| Dependent Types [Pie05a] | Olena Barth | Annette Bieniusa |
| Regular Expression Types [HVP00,HVP04] | Steffen Wittmer | Phillip Heidegger |
| Typed Assembly Language [MWCG98,MWCG99] | Christian Simon | Stefan Wehr |
| Linear Types [Pie05b] | Benus Becker | Prof. Dr. Peter Thiemann |
Die Referenzen beziehen sich auf diese Literaturquellen.
Material
Das Seminar wird zunächst Teile des Buches "Types and Programming Languages von Benjamin C. Pierce besprechen. Es ist in der Fakultätsbibliothek verfügbar. Darüberhinaus sollen aktuelle Publikationen auf dem Gebiet der Typtheorie vorgestellt werden.