Compiling with Continuations

Continuations serve as a powerful tool for representing control and data flow in programming, with significant applications in compiler design. This book explores the use of continuation-passing style as an intermediate representation for optimizing and transforming programs, specifically demonstrated through a compiler for Standard ML. It is accessible to readers without prior ML knowledge, as each concept is thoroughly explained. Aimed at compiler writers, students, and researchers, it bridges theoretical programming language concepts with practical compiler development.