|
|
|
@ -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} |
|
|
|
|
