Seminar "Typsysteme" WS 99/00

Prof. Gert Smolka
Joachim Niehren, Andreas Rossberg, Christian Schulte

Anmeldungen bitte per Email an Leif Kornstaedt. Die erste Vorbesprechung mit Themenvergabe fand am Freitag, den 16. Juli, 13:30 s.t. in Raum 528, Gebäude 45 statt.

Das Seminar findet jeweils Montags von 16 bis 18 Uhr statt und beginnt am 25. Oktober 1999.

Eine Mailing-Liste ist für die Seminarteilnehmer und ihre Betreuer angelegt worden.

Grundlegende Literatur

• Luca Cardelli, Type Systems, ACM Computing Surveys, 28(1):263-264, 1996. (Auf Cardellis Homepage)

• Luca Cardelli, Typeful Programming, in E. J. Neuhold and M. Paul, Editors, Formal Description of Programming Concepts, IFIP State of the Art Reports Series. Springer-Verlag, February 1989. (Auf Cardellis Homepage)

• John C. Mitchell, Foundations for Programming Languages, MIT Press 1996. (Erste zwei Kapitel auf Mitchells Homepage)

• Michael I. Schwartzbach hat eine Seite mit einführenden Papieren zu Typsystemenen.

Themen

1. Die Sprache PCF und der einfach getypte Lambda-Kalkül (Smolka)
   Björn Decker, 25. Oktober 1999

   Literatur:

   • John C. Mitchell, Foundations for Programming Languages, MIT Press 1996, Kapitel 2 und 4.

2. Übersicht über Objektsysteme (Schulte)
   Andreas Simon, 8. November 1999

   Literatur:

   • Martín Abadi and Luca Cardelli, A Theory of Objects, Springer 1996, Kapitel 1-5.

3. Ungetypte objektorientierte Kalküle (Rossberg)
   Gerhard Schneider, 15. November 1999

   Literatur:

   • Martín Abadi and Luca Cardelli, A Theory of Objects, Springer 1996, Kapitel 6.

4. Record Subtyping (Niehren)
   Celine Kuttler, 22. November 1999

   Literatur:

   • John C. Mitchell, Foundations for Programming Languages, MIT Press 1996, Kapitel 10.

5. Getypte objektorientierte Kalküle (Rossberg)
   Gerhard Schneider, 29. November 1999

   Literatur:

   • Martín Abadi and Luca Cardelli, A Theory of Objects, Springer 1996, Kapitel 7.

6. Typklassen (Niehren)
   Andreas Franke, 13. Dezember 1999

   Literatur:

   • Philip Wadler and Stephen Blott, How to make ad-hoc polymorphism less ad hoc, University of Glasgow, 1988.

7. Typinferenz und Subtyping mit Constraint-Typen (Niehren)
   Manuel Bodirsky, 17. Januar 1999

   Literatur:

   • François Pottier, Type Inference in the Presence of Subtyping: from Theory to Practice, PhD Thesis, 1998. (Auf Pottiers Homepage)

Folgender Vortrag ist noch zu vergeben:

• Polymorphe Typsysteme und Typinferenz

  Literatur:

  • John C. Mitchell, Foundations for Programming Languages, MIT Press 1996, Kapitel 9 und 11.