From 123efd3894bb019f6a93698a7f14149f7771f90d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Daniel=20Hillerstr=C3=B6m?= <daniel.hillerstrom@ed.ac.uk>
Date: Tue, 12 Feb 2019 10:31:47 +0000
Subject: [PATCH] Potential outline.

---
 thesis.tex | 31 ++++++++++++++++++++++++++-----
 1 file changed, 26 insertions(+), 5 deletions(-)

diff --git a/thesis.tex b/thesis.tex
index 3331573..9bbcd7c 100644
--- a/thesis.tex
+++ b/thesis.tex
@@ -129,15 +129,36 @@ Explain conventions\dots
 \section{State of effectful programming}
 Related work\dots
 
-\chapter{The theory of algebraic effects and their handlers}
+\chapter{Background}
+\label{ch:background}
 
-\chapter{On the expressive power of effect handlers}
+\chapter{A Core Calculus of Handlers and Rows}
+\label{ch:language}
+\section{Syntax}
+\section{Static semantics}
+\section{Dynamic semantics}
 
-\chapter{Abstract machines theories for effect handlers}
+\chapter{Operational Foundations for Effect Handlers}
+\label{ch:foundations}
+\section{First-order continuation-passing style for deep handlers}
+\section{Higher-order continuation-passing style for deep handlers}
+\section{Continuation-passing style for effect handlers via generalised continuations}
+\section{Abstract machine semantics for effect handlers via generalised continuations}
 
-\chapter{Continuation passing style theories for effect handlers}
 
-\chapter{Abstracting continuations: a unifying theory}
+\chapter{On the Expressive Power of Effect Handlers}
+\label{ch:expressiveness}
+\section{Notions of expressiveness}
+Fellesein's macro-expressiveness, Longley's type-respecting
+expressiveness, Kammar's typability-preserving expressiveness.
+
+\section{Interdefinability of deep and shallow handlers}
+\section{The false allure of parameterised handlers}
+
+\section{The fundamental efficiency of effect handlers}
+
+\chapter{Related work}
+\label{ch:related-work}
 
 \chapter{Conclusions}
 \label{ch:conclusions}