|
|
|
@ -2169,10 +2169,13 @@ as well as implementation strategies for first-class control. |
|
|
|
details for the proof of correctness of the higher-order |
|
|
|
continuation-passing style translation developed in Chapter~\ref{ch:cps}. |
|
|
|
|
|
|
|
\item \dhil{TODO inline Appendix~\ref{sec:berger-count} into Chapter~\ref{ch:handlers-efficiency}?}\end{itemize} |
|
|
|
\item Appendix~\ref{sec:berger-count} discusses the Berger count |
|
|
|
program, which is briefly mentioned in |
|
|
|
Section~\ref{sec:pure-counting}, in more detail. |
|
|
|
\end{itemize} |
|
|
|
|
|
|
|
|
|
|
|
\dhil{TODO introduce relation notation} |
|
|
|
% \dhil{TODO introduce relation notation} |
|
|
|
|
|
|
|
% \part{Background} |
|
|
|
% \label{p:background} |
|
|
|
|
