Separating Stages in the Continuation-Passing Style Transformation.

Julia L. Lawall Olivier Danvy Separating Stages in the Continuation-Passing Style Transformation. 124-136 1993 POPL db/conf/popl/popl93.html#LawallD93