From 67a48945e9b501932ba8c701cbce4e59b8507f97 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Daniel=20Hillerstr=C3=B6m?= Date: Sun, 23 May 2021 18:48:14 +0100 Subject: [PATCH] Insert a few citations. --- thesis.tex | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/thesis.tex b/thesis.tex index c66df8a..524350c 100644 --- a/thesis.tex +++ b/thesis.tex @@ -1678,7 +1678,8 @@ the effect signature $E$. This typing discipline fits nicely with the effect handlers-style of programming. The $\Do$ construct provides a mechanism for injecting an 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 we obtain a type-and-effect signature for the handler version of