\begin{slide}{Wertübergabe (CBV)}

call-by-value

ist bisher implementiert
\begin{verbatim}
type Env = Name -> Val

evaluate env x = case x of ...
    Ref n -> return $ env n
    App f a -> 
        with_fun ( evaluate env f ) $ \ fun ->
        with     ( evaluate env a ) $ \ arg ->
        fun arg
\end{verbatim}



\end{slide}
