This is a preview of a book to be published by Cambridge University Press. It is distributed under the terms of the CC BY-NC-SA 4.0 license.

• Contents
• Introduction

• Chapter 1 Early programming languages
• Chapter 2 Structured programming
• Chapter 3 Non-local control
• Chapter 4 Control inversion

• Chapter 5 Functional languages
• Chapter 6 Continuations and the CPS transformation
• Chapter 7 Programming with continuations
• Chapter 8 Control operators

• Chapter 9 Exceptions
• Chapter 10 Effect handlers for user-defined effects
• Chapter 11 Monads
• Chapter 12 Algebraic effects

• Chapter 13 Type and effect systems
• Chapter 14 Hoare logic for control structures
• Chapter 15 Separation logic for control operators
• References
• Index

This document was translated from L^AT_EX by H^EV^EA.