|
|
|
@ -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 |
|
|
|
|
