|
|
|
@ -4823,9 +4823,9 @@ Unlike other delimited control operators, $\Catchcont$ does not |
|
|
|
introduce separate explicit syntactic constructs for the control |
|
|
|
delimiter and control reifier. Instead it leverages the higher-order |
|
|
|
facilities of $\lambda$-calculus: the syntactic construct $\Catchcont$ |
|
|
|
play the role of control delimiter and the (generative) function name |
|
|
|
$f$ is the name of the control reifier. \citet{LongleyW08} describe |
|
|
|
$f$ as a `dummy variable'. |
|
|
|
play the role of control delimiter and the name $f$ of function type |
|
|
|
is the name of the control reifier. \citet{LongleyW08} describe $f$ as |
|
|
|
a `dummy variable'. |
|
|
|
|
|
|
|
The typing rule for $\Catchcont$ is as follows. |
|
|
|
% |
|
|
|
|
