\begin{slide}{Call by name}

  \begin{itemize}\parskip 1pt
  \item Name bezeichnet Aktion
  \item Benutzung des Namens $=$ Ausführung der Aktion
  \end{itemize}

\begin{verbatim}
type Env = Name -> Action Val

evaluate env x = case x of ...
    Ref n -> ...
    App f a -> 
        with_fun ( evaluate env f ) $ \ fun ->
        fun ( evaluate env a )

data Val = ... | ValFun ... 
\end{verbatim}
  
\end{slide}

\begin{slide}{Simulation von CBN in CBV}

  \begin{itemize}
  \item 
CBN: 
\begin{itemize}
\item 
Name $n$ bezeichnet Aktion $A$

\end{itemize}
\item
CBV: 
\begin{itemize}
\item 
Name $n$ gebunden an $\lambda x.A$
\item
Benutzung des Namens: $n ()$
\end{itemize}
  \end{itemize}

\end{slide}
