Typ-Argumente (Regeln)

neuer Typ ∀t.T mathend000#,

neue Ausdrücke mit Inferenz-Regeln:

• Typ-Abstraktion: erzeugt parametrischen Typ
  $${\frac{{E \vdash \dots }}{{E \vdash \Lambda t\to X : \dots}}}$$

  mathend000#

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

  mathend000#

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