Grundlagen von Typsystemen (2V + 1Ü)

Wintersemester 1997/98

Dr. Georg Schied
Inhalt
Typsysteme sind ein wichtiges Merkmal moderner Programmiersprachen. Sie bieten einerseits Sicherheit vor Laufzeitfehlern durch Typprüfung, andererseits erlauben sie dem Programmierer ein hohes Maß an Flexibilität, z.B. durch parametrischen oder subtypbasierten Polymorphismus.
Termine
Achtung: Raum der Vorlesung und Termin der Übungen haben sich geaendert!
  • Vorlesung: Mo. 13.15 - 14.45 Uhr, Raum 2.164.
  • Übungen: Mi. 8.30 - 10.00 Uhr, Raum 1.040, 14-tägig, erste Übung am 29.10.97
Voraussetzungen
Die Vorlesung richtet sich an Infomatikstudenten im Hauptstudium. Kenntnisse aus den Vorlesungen "Formale Semantik" und "Konzepte von Programmiersprachen" sind hilfreich, aber nicht unbedingt notwendig.
Vorlesungsfolien
  1. Einführung
  2. Der untypisierte Lambda-Kalkül
  3. Der typisierte Lambda-Kalkül
  4. Implizite Typisierung und Typinferenz
  5. ML-Polymorphismus
  6. Typisierung imperativer Konstrukte
  7. Der polymorphe Lambda-Kalkül, Lambda-Kalküle höherer Ordnung
  8. Subtypen
  9. Ausblick: Typen in der Logik
  10. Der Lambda&-Kalkül (von B. Holzmüller)
  11. Polymorphie durch Mengen (von B. Holzmüller)
Sonstiges

schied@informatik.uni-stuttgart.de
Last modified: Mon Jan 19 15:42:54 MET 1998