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

Compare commits

base: dhil:81a4ecec0b6f36375a6abee7377f55723de4b05f
Branches Tags
dhil:master
...
compare: dhil:c2d79e1d06e2702cd30b90372f23a1f39334f768
Branches Tags
dhil:master

2 Commits
81a4ecec0b ... c2d79e1d06

Author SHA1 Message Date
Daniel Hillerström
c2d79e1d06 Fix bibliography: add missing year 2025-12-18 14:08:13 +00:00
Daniel Hillerström
47410e4d14 Fix typo in -ctrl+ rule. The delimiter is part of the reified context. 2025-12-18 14:07:59 +00:00
2 changed files with 4 additions and 3 deletions
Expand all files Collapse all files

3
thesis.bib
View File

@@ -2401,7 +2401,8 @@
author = {Nikolaos S. Papspyrou}, author = {Nikolaos S. Papspyrou},
title = {A resumption monad transformer and its applications in the semantics of concurrency}, title = {A resumption monad transformer and its applications in the semantics of concurrency},
booktitle = {Proceedings of the 3rd Panhellenic Logic Symposium}, booktitle = {Proceedings of the 3rd Panhellenic Logic Symposium},
address = {Anogia, Greece} address = {Anogia, Greece},
year = 2001,
} }
@inproceedings{Harrison06, @inproceedings{Harrison06,

4
thesis.tex
View File

@@ -167,7 +167,7 @@
% %
Effect handlers provide a particularly structured approach to Effect handlers provide a particularly structured approach to
programming with first-class control by naming control reifying programming with first-class control by naming control reifying
operations and separating from their handling. operations and separating them from their handling.
This thesis is composed of three strands of work in which I develop This thesis is composed of three strands of work in which I develop
operational foundations for programming and implementing effect operational foundations for programming and implementing effect
@@ -17245,7 +17245,7 @@ They identify four variations.
delimiter in the reified context, but discards the original delimiter in the reified context, but discards the original
instance, i.e. instance, i.e.
\[ \[
\Delim{\EC[\CC~k.M]} \reducesto M[\cont_{\EC}/k] \Delim{\EC[\CC~k.M]} \reducesto M[\cont_{\Delim{\EC}}/k]
\] \]
\item[\CCmm] The control reifier reifies the context up to, but not \item[\CCmm] The control reifier reifies the context up to, but not
including, the delimiter and subsequently discards the delimiter, i.e. including, the delimiter and subsequently discards the delimiter, i.e.