From 77475e129b7022e93eccd4262dabb1f5a752825e Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Daniel=20Hillerstr=C3=B6m?= Date: Sat, 29 May 2021 00:30:25 +0100 Subject: [PATCH] WIP --- thesis.tex | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/thesis.tex b/thesis.tex index fa87211..4ae45dc 100644 --- a/thesis.tex +++ b/thesis.tex @@ -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. %