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

C and F

Browse Source
This commit is contained in:
Daniel Hillerström
2020-11-06 00:17:56 +00:00
parent a656f426b8
commit a75f22eb50
2 changed files with 29 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
macros.tex
View File

@@ -437,5 +437,7 @@
\newcommand{\fprompt}{\%} \newcommand{\fprompt}{\%}
\newcommand{\splitter}{\keyw{splitter}} \newcommand{\splitter}{\keyw{splitter}}
\newcommand{\J}{\keyw{J}} \newcommand{\J}{\keyw{J}}
\newcommand{\FelleisenC}{\ensuremath{\mathcal{C}}}
\newcommand{\FelleisenF}{\ensuremath{\mathcal{F}}}
\newcommand{\cont}{\keyw{cont}} \newcommand{\cont}{\keyw{cont}}

27
thesis.tex
View File

@@ -659,6 +659,8 @@ callcc, J, catchcont, etc.
\hline \hline
\multicolumn{1}{| l |}{\textbf{Name}} & \multicolumn{1}{l |}{\textbf{Extent}} & \multicolumn{1}{l |}{\textbf{Behaviour}} & \multicolumn{1}{l |}{\textbf{Canonical reference}}\\ \multicolumn{1}{| l |}{\textbf{Name}} & \multicolumn{1}{l |}{\textbf{Extent}} & \multicolumn{1}{l |}{\textbf{Behaviour}} & \multicolumn{1}{l |}{\textbf{Canonical reference}}\\
\hline \hline
\FelleisenC & Undelimited & Abortive & \citet{FelleisenF86} \\
\hline
call/cc & Undelimited & Abortive & \citet{AbelsonHAKBOBPCRFRHSHW85} \\ call/cc & Undelimited & Abortive & \citet{AbelsonHAKBOBPCRFRHSHW85} \\
\hline \hline
call/cc* & Undelimited & Composable & \citet{Flatt20} \\ call/cc* & Undelimited & Composable & \citet{Flatt20} \\
@@ -675,6 +677,8 @@ callcc, J, catchcont, etc.
\hline \hline
escape & Undelimited & Abortive & \citet{Reynolds98a}\\ escape & Undelimited & Abortive & \citet{Reynolds98a}\\
\hline \hline
\FelleisenF & Undelimited & Composable & \citet{FelleisenFDM87}\\
\hline
fcontrol & Delimited & Composable & \citet{Sitaram93} \\ fcontrol & Delimited & Composable & \citet{Sitaram93} \\
\hline \hline
J & Undelimited & Abortive & \citet{Landin98}\\ J & Undelimited & Abortive & \citet{Landin98}\\
@@ -733,6 +737,29 @@ call-with-composable-continuation (MzScheme 360, November 2006).
\slab{Resume} & \Continue~\cont_{\EC}~V &\reducesto& \EC[V] \slab{Resume} & \Continue~\cont_{\EC}~V &\reducesto& \EC[V]
\end{reductions} \end{reductions}
%
\[
1 + \Callcc^\ast\,(\lambda k. k\,(k\,0)) \reducesto 3
\]
%
Contrast this result with
%
\[
1 + \Callcc\,(\lambda k. k\,(k\,0)) \reducesto 1
\]
\paragraph{Felleisen's \FelleisenC{} and \FelleisenF{}}
%
\begin{reductions}
\slab{Capture} & \EC[\FelleisenC\,V] &\reducesto& V~\cont_{\EC}\\
\slab{Resume} & \EC[\Continue~\cont_{\EC'}~V] &\reducesto& \EC[V]
\end{reductions}
%
\begin{reductions}
\slab{Capture} & \EC[\FelleisenF\,V] &\reducesto& V~\cont_{\EC}\\
\slab{Resume} & \Continue~\cont_{\EC}~V &\reducesto& \EC[V]
\end{reductions}
\subsection{Delimited operators} \subsection{Delimited operators}
Delimited control: Control delimiters form the basis for delimited Delimited control: Control delimiters form the basis for delimited
control. \citeauthor{Felleisen88} introduced control delimiters in control. \citeauthor{Felleisen88} introduced control delimiters in