Update related work

thesis.tex

@@ -8206,13 +8206,13 @@ using effect handlers in the Frank programming
 language. \citet{Poulson20} expanded upon this work by investigating
 ways to handle preemptive concurrency.
 
-\citet{FowlerLMD19} used effect handlers in the setting of
+\citet{FowlerLMD19} uses effect handlers in the setting of linearly
-fault-tolerant distributed programming. They codified a distributed
+typed fault-tolerant distributed programming. They use effect handlers
-exception handling mechanism using a single exception-operation and a
+to codify an exception handling mechanism, which automatically
-corresponding effect handler, which automatically closes open
+consumes linear resources. Exceptions are implemented as operations,
-resources upon handling the exception-operation by \emph{aborting} the
+that are handled by \emph{cancelling} their resumptions. Cancellation
-resumption of the operation, which would cause resource finalisers to
+is a runtime primitive that gathers and closes active resources in the
-run.
+computation represented by some resumption.
 
 \citet{DolanEHMSW17} and \citet{Leijen17a} gave two widely different
 implementations of the async/await idiom using effect