\begin{slide}{Inferenz Polymorpher Typen}

  \begin{itemize}
  \item jeder neue Bezeichner bekommt eine neue Typvariable
  \item jede Benutzung eines Bezeichners erzeugt ein Typconstraint
  \item (Teil-)Programm bestimmt Constraintsystem
  \item Lösung ist Zuordnung: Bezeichner $\to$ Typ 
  \item Lösung existiert? ist eindeutig?
  \end{itemize}

das Constraint-Lösen ist hier das \emph{Unifizieren}

\end{slide}
