Typ-Argumente (Regeln)

neuer Typ-Ausdruck ∀t.T, Inferenz-Regeln:

• Typ-Abstraktion: erzeugt parametrischen Typ
  $${\frac{{E \vdash \dots }}{{E \vdash \lambda (t::\text{Type}\to X : \dots}}}$$

• Typ-Applikation: instantiiert param. Typ
  $${\frac{{E \vdash F : \dots}}{{E \vdash F[T_2] : \dots}}}$$

Ü: Vergleich Typ-Applikation mit expliziter Instantiierung von polymorphen Methoden in C#