\begin{slide}{Plan}

  \begin{itemize}
  \item konkrete/abstrakte Syntax, Typprüfungen

    \verb|x0.f(x1,..,xn) => f(x0,x1,..,xn)|
  \item
    Daten-Layout (Objekte)
  \item
    Laufzeit-Polymorphie (Methoden)
  \item
    Typconstraints
  \end{itemize}

\end{slide}
