diff --git a/thesis.tex b/thesis.tex index 0327647..84bd0b6 100644 --- a/thesis.tex +++ b/thesis.tex @@ -119,6 +119,11 @@ \chapter{Introduction} \label{ch:introduction} An enthralling introduction\dots +% +Motivation: 1) compiler perspective: unifying control abstraction, +lean runtime, desugaring of async/await, generators/iterators, 2) +giving control to programmers, safer microkernels, everything as a +library. \section{Thesis outline} Thesis outline\dots @@ -126,9 +131,6 @@ Thesis outline\dots \section{Typographical conventions} Explain conventions\dots -\section{State of effectful programming} -Related work\dots - \chapter{Background} \label{ch:background} @@ -158,7 +160,7 @@ expressiveness, Kammar's typability-preserving expressiveness. \section{The fundamental efficiency of effect handlers} -\chapter{Related work} +\chapter{The State of Effectful Programming} \label{ch:related-work} \chapter{Conclusions}