continuation passing style

The Fortress blog has a recent post, Why Object-Oriented Languages Need Tail Calls, where Guy Steele argues for the necessity of proper tail call implementations without rehashing two of the classic arguments: state machines and the continuation passing style.

It starts by mentioning William Cook's On Understanding Data Abstraction, Revisited:

Functional Pearl: Type-safe pattern combinators, by Morten Rhiger:

Two intensively studied intermediate representations in compiler theory are Static Single Assignment form (SSA) and CPS translations, and Richard Kelsey's 1995 paper, A Correspondence Between Continuation Passing Style and Static Single Assignment Form (.ps.gz), which shows a nearly-complete, exact equivalence between the two IRs.