|
|
@ -1194,7 +1194,7 @@ For example callec is a variation of callcc where the continuation |
|
|
only can be invoked during the dynamic extent of |
|
|
only can be invoked during the dynamic extent of |
|
|
callec~\cite{Flatt20}. |
|
|
callec~\cite{Flatt20}. |
|
|
|
|
|
|
|
|
\section{Implementation strategies for first-class control} |
|
|
|
|
|
|
|
|
\section{Implementing continuations} |
|
|
Table~\ref{tbl:ctrl-operators-impls} lists some programming languages |
|
|
Table~\ref{tbl:ctrl-operators-impls} lists some programming languages |
|
|
with support for first-class control operators and their |
|
|
with support for first-class control operators and their |
|
|
implementation strategies. |
|
|
implementation strategies. |
|
|
|