diff --git a/thesis.tex b/thesis.tex index 84bd0b6..4e90027 100644 --- a/thesis.tex +++ b/thesis.tex @@ -152,9 +152,13 @@ Explain conventions\dots \chapter{On the Expressive Power of Effect Handlers} \label{ch:expressiveness} \section{Notions of expressiveness} -Fellesein's macro-expressiveness, Longley's type-respecting +Felleisen's macro-expressiveness, Longley's type-respecting expressiveness, Kammar's typability-preserving expressiveness. +\section{Zoo of Control Operators} +Describe how effect handlers fit amongst shift/reset, prompt/control, +callcc, J, catchcont, etc. + \section{Interdefinability of deep and shallow handlers} \section{The false allure of parameterised handlers}