\begin{slide}{closure passing style}

  \begin{itemize}
  \item Umgebung $=$ Tupel der Werte der 
    benötigten nicht lokalen Variablen
  \item Closure $=$ Paar aus Code und Umgebung

    realisiert als Tupel 
    (Code, $\underbrace{W_1, \dots, W_n}_\text{Umgebung}$)

    
  \end{itemize}


\begin{verbatim}
\ x -> a * x + 1
==>
\ clo x -> 
  let { a = nth clo 1 } in a * x + 1
\end{verbatim}
Closure-Konstruktion? \\
Komplette Übersetzung des Beispiels?

  
\end{slide}
