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

Some more references on control operators.

Browse Source
This commit is contained in:
Daniel Hillerström
2020-10-28 22:41:25 +00:00
parent 5e7ce98c0e
commit ab38da7102
2 changed files with 56 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
thesis.tex
View File

@@ -519,8 +519,9 @@ delimiters in her PhD dissertation~\cite{Talcott85}.
%
Common Lisp resumable exceptions (condition system)~\cite{Steele90},
F~\cite{FelleisenFDM87,Felleisen88}, control/prompt~\cite{SitaramF90},
shift/reset~\cite{DanvyF89,DanvyF90}, fcontrol~\cite{Sitaram93},
catchcont~\cite{LongleyW08}, effect handlers~\cite{PlotkinP09}.
shift/reset~\cite{DanvyF89,DanvyF90}, splitter~\cite{QueinnecS91},
fcontrol~\cite{Sitaram93}, catchcont~\cite{LongleyW08}, effect
handlers~\cite{PlotkinP09}.
\section{Notions of continuations}
@@ -537,6 +538,9 @@ callcc, J, catchcont, etc.
\subsection{Undelimited operators}
\subsection{Delimited operators}
Comparison of various delimited control
operators~\cite{Shan04}. Simulation of delimited control using
undelimited control~\cite{Filinski94}
\section{Second-Class control operators}
Coroutines, async/await, generators/iterators, amb.
@@ -4514,7 +4518,7 @@ into the return case body $N$ for their respective binders.
\paragraph{The resumption monad} \citet{Milner75},
\citet{Plotkin76}, \citet{Moggi90}, \citet{Papaspyrou01}, \citet{Harrison06}, \citet{AtkeyJ15}
\paragraph{Continuation-based interleaving} \citet{HaynesF84} \citet{GanzFW99}
\paragraph{Continuation-based interleaving} \citet{Wand80} \citet{HaynesF84} \citet{GanzFW99} \citet{HiebD90}
\subsection{Effect-driven concurrency}
\citet{BauerP15}, \citet{DolanWSYM15}, \citet{Hillerstrom16}, \citet{DolanEHMSW17}, \citet{Convent17}, \citet{Poulson20}