From aff97c44fa51892d91d6ad7735be5f9a957d5a8d Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Daniel=20Hillerstr=C3=B6m?= Date: Sat, 12 Dec 2020 17:16:41 +0000 Subject: [PATCH] Abstract WIP --- thesis.tex | 23 +++++++++++++++++++++-- 1 file changed, 21 insertions(+), 2 deletions(-) diff --git a/thesis.tex b/thesis.tex index 72a2348..e796d0e 100644 --- a/thesis.tex +++ b/thesis.tex @@ -125,11 +125,30 @@ %% If the year of submission is not the current year, uncomment this line and %% specify it here: -\submityear{2020} +\submityear{2021} %% Specify the abstract here. \abstract{% - An abstract\dots + Virtually every programming language is equipped with some control + operator which enables the programmer to manipulate the flow of + control. + % + First-class control operators provide an expressive and efficient + means for programmers to implement their own control idioms as + shareable libraries. + + The first strand develops the core calculus of a programming + language with a \emph{structural} notion of effects, as opposed to + the dominant \emph{nominal} notion of effects. + + By making critical use of \emph{row polymorphism} to build and track + effect signatures. + + The second strand studies foundational implementation techniques for + deep, shallow, and parameterised effect handlers. + + In this thesis I develop foundational techniques for programming and + implementing effect handlers. } %% Now we start with the actual document.