Book details
Control Structures in Programming Languages
Categories Programming languages , Functional programming
This book surveys programming-language control structures, tracing their development from early goto statements and structured programming to coroutines, continuations, and algebraic effects. It combines historical context, code examples, and theory, with chapters on effect handlers, monads, type-and-effect systems, and reasoning about control.
