A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Back to direct style
1994
Science of Computer Programming
This paper describes the transformation of I-terms from continuation-passing style (CPS) to direct style. This transformation is the left inverse of Plotkin's left-to-right call-by-value CPS encoding for the pure I-calculus. Not all I-terms are CPS terms, and not all CPS terms encode a left-to-right call-byvalue evaluation. These CPS terms are characterized here; they can be mapped back to direct style. In addition, the two transformations-to continuation-passing style and to direct style-are
doi:10.1016/0167-6423(94)00003-4
fatcat:gbui3kno4fbrlnbud77vlbypcu