Update references

thesis.bib

@@ -291,14 +291,6 @@
   year      = {2020}
 }
 
-@phdthesis{Brachthauser20,
-  author    = {Jonathan Immanuel Brachth{\"{a}}user},
-  title     = {Design and Implementation of Effect Handlers for Object-Oriented Programming
-               Languages},
-  school    = {University of T{\"{u}}bingen, Germany},
-  year      = {2020}
-}
-
 @article{XieBHSL20,
   author    = {Ningning Xie and
                Jonathan Immanuel Brachth{\"{a}}user and
@@ -356,18 +348,6 @@
   year      = {2017}
 }
 
-@article{SchusterBO20,
-  author    = {Philipp Schuster and
-               Jonathan Immanuel Brachth{\"{a}}user and
-               Klaus Ostermann},
-  title     = {Compiling effect handlers in capability-passing style},
-  journal   = {Proc. {ACM} Program. Lang.},
-  volume    = {4},
-  number    = {{ICFP}},
-  pages     = {93:1--93:28},
-  year      = {2020}
-}
-
 # Eff
 @article{BauerP15,
   author    = {Andrej Bauer and
@@ -997,7 +977,6 @@
   OPTeprint = {https://academic.oup.com/comjnl/article-pdf/6/4/308/1067901/6-4-308.pdf},
 }
 
-
 # CEK & C
 @InProceedings{FelleisenF86,
   title={Control Operators, the {SECD}-machine, and the $\lambda$-Calculus},
@@ -1035,6 +1014,63 @@
   year      = {2018}
 }
 
+# Capability passing style
+@phdthesis{Brachthauser20,
+  author    = {Jonathan Immanuel Brachth{\"{a}}user},
+  title     = {Design and Implementation of Effect Handlers for Object-Oriented Programming
+               Languages},
+  school    = {University of T{\"{u}}bingen, Germany},
+  year      = {2020}
+}
+
+@article{BrachthauserSO20a,
+  author    = {Jonathan Immanuel Brachth{\"{a}}user and
+               Philipp Schuster and
+               Klaus Ostermann},
+  title     = {Effekt: Capability-passing style for type- and effect-safe, extensible
+               effect handlers in Scala},
+  journal   = {J. Funct. Program.},
+  volume    = {30},
+  pages     = {e8},
+  year      = {2020}
+}
+
+@article{BrachthauserSO20b,
+  author    = {Jonathan Immanuel Brachth{\"{a}}user and
+               Philipp Schuster and
+               Klaus Ostermann},
+  title     = {Effects as capabilities: effect handlers and lightweight effect polymorphism},
+  journal   = {Proc. {ACM} Program. Lang.},
+  volume    = {4},
+  number    = {{OOPSLA}},
+  pages     = {126:1--126:30},
+  year      = {2020}
+}
+
+@article{SchusterBO20,
+  author    = {Philipp Schuster and
+               Jonathan Immanuel Brachth{\"{a}}user and
+               Klaus Ostermann},
+  title     = {Compiling effect handlers in capability-passing style},
+  journal   = {Proc. {ACM} Program. Lang.},
+  volume    = {4},
+  number    = {{ICFP}},
+  pages     = {93:1--93:28},
+  year      = {2020}
+}
+
+@article{BrachthauserSO18,
+  author    = {Jonathan Immanuel Brachth{\"{a}}user and
+               Philipp Schuster and
+               Klaus Ostermann},
+  title     = {Effect handlers for the masses},
+  journal   = {Proc. {ACM} Program. Lang.},
+  volume    = {2},
+  number    = {{OOPSLA}},
+  pages     = {111:1--111:27},
+  year      = {2018}
+}
+
 # explicit effect subtyping
 @inproceedings{SalehKPS18,
   author    = {Amr Hany Saleh and
@@ -2270,6 +2306,42 @@
   year      = {2017}
 }
 
+@article{WeiBTR20,
+  author    = {Guannan Wei and
+               Oliver Bracevac and
+               Shangyin Tan and
+               Tiark Rompf},
+  title     = {Compiling symbolic execution with staging and algebraic effects},
+  journal   = {Proc. {ACM} Program. Lang.},
+  volume    = {4},
+  number    = {{OOPSLA}},
+  pages     = {164:1--164:33},
+  year      = {2020}
+}
+
+# Coordination using control
+@phdthesis{Bracevec19,
+  author    = {Oliver Bracevac},
+  title     = {Event Correlation with Algebraic Effects - Theory, Design and Implementation},
+  school    = {Technische Universit{\"{a}}t Damstadt, Germany},
+  year      = {2019}
+}
+
+@article{BracevacASEEM18,
+  author    = {Oliver Bracevac and
+               Nada Amin and
+               Guido Salvaneschi and
+               Sebastian Erdweg and
+               Patrick Eugster and
+               Mira Mezini},
+  title     = {Versatile event correlation with algebraic effects},
+  journal   = {Proc. {ACM} Program. Lang.},
+  volume    = {2},
+  number    = {{ICFP}},
+  pages     = {67:1--67:31},
+  year      = {2018}
+}
+
 # Hindley-Milner type inference
 @article{Hindley69,
  optISSN = {00029947},
@@ -2516,4 +2588,5 @@
   author    = {Dana Scott},
   title     = {A system of functional abstraction},
   note      = {Lectures delivered at University of California, Berkeley, California, USA, 1962/63}
-}
+}
+

thesis.tex

@@ -2653,7 +2653,7 @@ user-definable library.
 
 Continuations have also been used in meta-programming to speed up
 partial evaluation and
-multi-staging~\cite{LawallD94,KameyamaKS11,OishiK17,Yallop17}. Let
+multi-staging~\cite{LawallD94,KameyamaKS11,OishiK17,Yallop17,WeiBTR20}. Let
 insertion is a canonical example of use of continuations in
 multi-staging~\cite{Yallop17}.
 
@@ -10223,10 +10223,10 @@ Describe the methodology\dots
 \subsection{No shortcuts}
 \subsection{No sharing}
 
-\chapter{Speeding up programs in ML-like programming languages}
+% \chapter{Speeding up programs in ML-like programming languages}
-\section{Mutable state}
+% \section{Mutable state}
-\section{Exception handling}
+% \section{Exception handling}
-\section{Effect system}
+% \section{Effect system}
 
 \part{Conclusions}