\begin{slide}{Interpreter mit Funktionen}

abstrakte Syntax:
\begin{verbatim}
data Exp = ...
  | Abs { formal :: Name , body :: Exp }
  | App { rator  :: Exp  , rand :: Exp }
\end{verbatim}

konkrete Syntax (Beispiel):
\begin{verbatim}
let { f = \ x -> x * x }  in  f (f 3)
\end{verbatim}


\end{slide}
