1)
So viele Sichtweisen auf Typen aufzählen, wie man kann. Was ist ein Typsystem?

2)
Typableitung in Ada, dann tagged records.
Wann braucht man dynamisches Binden? (Argumente haben klassenweiten Typ, formale Parameter der Methoden konkreten Typ)

3)
Untertypbeziehungsformel von rekursiven Typen erklären, auf Beispiel mit binärer Methode anwenden

4)
Higher Order Subtyping anhand eines Beispiels (erlaubt Ersetzbarkeitsprinzipverletzungen)
F-gebundene Generizität (erlaubt sowas wie kovariante Eingangsparameter weil durch Generizität ausgedrückt)