\begin{slide}{letrec nach rec}

mithilfe der Lambda-Ausdrücke für select und tuple

\begin{verbatim}
LetRec [(n1,x1), .. (nk,xk)] y   
=> ( rec t 
      ( let n1 = select1 t
            ...
            nk = selectk t
        in  tuple x1 .. xk ) )
   ( \ n1 .. nk -> y )
\end{verbatim}


\end{slide}
