diff --git a/thesis.tex b/thesis.tex index c16806c..c78b4aa 100644 --- a/thesis.tex +++ b/thesis.tex @@ -285,8 +285,8 @@ compose seamlessly, and as a result the semantics of a program can be compartmentalised into several fine-grained and comprehensible components. The ability to seamlessly swap out one component for - another provides a promising basis for modular construction and - reconfiguration of computer programs. + another component provides a promising basis for modular + construction and reconfiguration of computer programs. In this dissertation I develop the foundations for programming with effect handlers. Specifically, I present a practical design for