
\begin{slide}{Typ-Argumente (Regeln)}

neuer Typ-Ausdruck $\forall t.T$, Inferenz-Regeln:
  \begin{itemize}
  \item Typ-Abstraktion: erzeugt parametrischen Typ

\[
\frac{E \vdash \dots }
{E \vdash \lambda (t::\text{Type}\to X : \dots}
\]


  \item Typ-Applikation: instantiiert param. Typ

\[
\frac{E \vdash F : \dots}{E \vdash F[T_2] : \dots}
\]

  \end{itemize}


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

\end{slide}
