\begin{slide}{Motivation}

bisher: closure conversion $+$ lifting:

beliebiges Programm (Lambda-Ausdruck) $\Rightarrow$
Programm mit nur globalen Funktionen (und Tupeln)

\bigskip

man kann sogar jeden Lambda-Ausdruck
in äquivalentes Programm mit wenigen
und feststehenden globalen Funktionen 
(Kombinatoren) übersetzen.


\end{slide}
