From 75d0dac1619c0e30951b754dfa103e9677330968 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Daniel=20Hillerstr=C3=B6m?= Date: Thu, 27 May 2021 11:47:47 +0100 Subject: [PATCH] WIP --- thesis.tex | 3 +++ 1 file changed, 3 insertions(+) diff --git a/thesis.tex b/thesis.tex index 26d8c26..52e3c37 100644 --- a/thesis.tex +++ b/thesis.tex @@ -6061,6 +6061,9 @@ Section~\ref{sec:back-to-directstyle} the original effect system was developed by \citet{LucassenG88} to provide a lightweight facility for static concurrency analysis. \citet{NielsonN99} \citet{TofteT97} \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}