dhil/phd-dissertation
1
0
Fork 0
mirror of https://github.com/dhil/phd-dissertation synced 2026-03-13 02:58:26 +00:00
Code Issues Releases Wiki Activity

Add note

Browse Source
This commit is contained in:
Daniel Hillerström
2020-11-08 00:35:41 +00:00
parent 70a5d4a9ae
commit 3c5be3b401
1 changed files with 3 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
thesis.tex
View File

@@ -753,6 +753,9 @@ non-local exits~\cite{SussmanS75}.
\slab{Resume} & \EC[\Continue~\cont_{\EC'}~V] &\reducesto& \EC'[V] \slab{Resume} & \EC[\Continue~\cont_{\EC'}~V] &\reducesto& \EC'[V]
\end{reductions} \end{reductions}
% %
As an aside it is worth mentioning that \citet{CartwrightF92} used a
variation of $\Catch$ to show that programs can use control operators
to observe the order of evaluation.
\paragraph{Call-with-current-continuation} \paragraph{Call-with-current-continuation}
% %