|
|
@ -152,9 +152,13 @@ Explain conventions\dots |
|
|
\chapter{On the Expressive Power of Effect Handlers} |
|
|
\chapter{On the Expressive Power of Effect Handlers} |
|
|
\label{ch:expressiveness} |
|
|
\label{ch:expressiveness} |
|
|
\section{Notions of 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. |
|
|
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{Interdefinability of deep and shallow handlers} |
|
|
\section{The false allure of parameterised handlers} |
|
|
\section{The false allure of parameterised handlers} |
|
|
|
|
|
|
|
|
|