Control structures

Compiling Functional Languages (2002) [pdf]