|
|
@ -6061,6 +6061,9 @@ Section~\ref{sec:back-to-directstyle} the original effect system |
|
|
was developed by \citet{LucassenG88} to provide a lightweight facility |
|
|
was developed by \citet{LucassenG88} to provide a lightweight facility |
|
|
for static concurrency analysis. \citet{NielsonN99} \citet{TofteT97} |
|
|
for static concurrency analysis. \citet{NielsonN99} \citet{TofteT97} |
|
|
\citet{BentonK99} \citet{BentonB07} |
|
|
\citet{BentonK99} \citet{BentonB07} |
|
|
|
|
|
% |
|
|
|
|
|
\citet{LindleyC12} used the effect system presented in this chapter to |
|
|
|
|
|
support abstraction for database programming in Links. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
\chapter{Effect handler oriented programming} |
|
|
\chapter{Effect handler oriented programming} |
|
|
|