From 307e4bd259affb08491ab95b0de0b46ec8af114d Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Daniel=20Hillerstr=C3=B6m?= Date: Sun, 23 May 2021 11:44:30 +0100 Subject: [PATCH] Fix typo --- thesis.tex | 22 +++++++++++----------- 1 file changed, 11 insertions(+), 11 deletions(-) diff --git a/thesis.tex b/thesis.tex index c8f5fcf..bc83b43 100644 --- a/thesis.tex +++ b/thesis.tex @@ -1653,15 +1653,7 @@ handlers sideline equational theories, despite equational theories being an important part of the original treatment of effect handlers. \citeauthor{Ziga20}'s PhD dissertation brings equations back onto the pitch as \citet{Ziga20} develops a core calculus with a novel -local notion of effect theories. - -Lexical effect handlers are a variation on \citeauthor{PlotkinP09}'s -deep handlers, which provide a form of lexical scoping for effect -operations, thus statically binding them to their handlers. -% -\citeauthor{Geron19}'s PhD dissertation develops the mathematical -theory of scoped effect operations, whilst \citet{WuSH14} and -\citet{BiernackiPPS20} study them from a programming perspective. +local notion of equational theories for algebraic effects. To get a grasp of the reasoning principles for effect handlers, interested readers should consult \citeauthor{McLaughlin20}'s PhD @@ -1679,6 +1671,14 @@ with a novel computational dependent type, which makes it possible to treat type-dependency in the sequential composition of effectful computations uniformly. +Lexical effect handlers are a variation on \citeauthor{PlotkinP09}'s +deep handlers, which provide a form of lexical scoping for effect +operations, thus statically binding them to their handlers. +% +\citeauthor{Geron19}'s PhD dissertation develops the mathematical +theory of scoped effect operations, whilst \citet{WuSH14} and +\citet{BiernackiPPS20} study them from a programming perspective. + % Effect handlers were conceived in the realm of category theory to give % an algebraic treatment of exception handling~\cite{PlotkinP09}. They % were adopted early by functional programmers, who either added @@ -1692,8 +1692,8 @@ functional perspectives on effect handlers are plentiful in the literature. There are only a a few takes on effect handlers outside functional programming: \citeauthor{Brachthauser20}'s PhD dissertation contains an object-oriented perspective on effect handlers in -Java~\cite{Brachthauser20}; In \citeauthor{Saleh19}'s PhD dissertation -provides a logic programming perspective via an effect handlers +Java~\cite{Brachthauser20}; \citeauthor{Saleh19}'s PhD dissertation +offers a logic programming perspective via an effect handlers extension to Prolog; and \citet{Leijen17b} has an imperative take on effect handlers in C.