From 326b1f1a507774ae0f86e2bd688f372ce1d5c09e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Daniel=20Hillerstr=C3=B6m?= <daniel.hillerstrom@ed.ac.uk>
Date: Wed, 2 Dec 2020 00:03:51 +0000
Subject: [PATCH] Begin paragraph on CPS

---
 thesis.tex | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

diff --git a/thesis.tex b/thesis.tex
index e98868f..af1f1ad 100644
--- a/thesis.tex
+++ b/thesis.tex
@@ -2339,7 +2339,14 @@ slight variation of segmented stacks optimised for one-shot
 continuations, which has been adapted by Multicore
 OCaml~\cite{DolanEHMSW17}.
 
-\dhil{TODO: CPS and abstract machines}
+\dhil{TODO: abstract machines}
+
+Continuation passing style (CPS) is a particular idiomatic notation
+for programs, where every aspect of control flow is made explicit,
+which makes it a good fit for implementing control abstractions.
+%
+Using trampolines CPS is even a viable strategy in environments that
+lack proper tail calls such as JavaScript~\cite{GanzFW99}.
 
 % \paragraph{Continuation marks}