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

Insert a few citations.

Browse Source
This commit is contained in:
Daniel Hillerström
2021-05-23 18:48:14 +01:00
parent b73d9a213f
commit 67a48945e9
1 changed files with 2 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
thesis.tex
View File

@@ -1678,7 +1678,8 @@ the effect signature $E$.
This typing discipline fits nicely with the effect handlers-style of This typing discipline fits nicely with the effect handlers-style of
programming. The $\Do$ construct provides a mechanism for injecting an programming. The $\Do$ construct provides a mechanism for injecting an
operation into the effect signature, whilst the $\Handle$ construct operation into the effect signature, whilst the $\Handle$ construct
provides a way to eliminate an effect operation from the signature. provides a way to eliminate an effect operation from the
signature~\cite{BauerP13,HillerstromL16}.
% %
If we instantiate $A = \UnitType$, $B = \Bool$, and $E = \Sigma$, then If we instantiate $A = \UnitType$, $B = \Bool$, and $E = \Sigma$, then
we obtain a type-and-effect signature for the handler version of we obtain a type-and-effect signature for the handler version of