Separating stages in the continuation-passing style transformation (1993)

by J L Lawall, O Danvy
Venue:In Conference R ecord of the 20th Annual ACM Symposium on Principles of Programming Languages. A CM