On the Idempotence of the CPS Transformation (1996)
by
Olivier Danvy
,
Karoline Malmkjær
| Venue: | THE JOURNAL OF FUNCTIONAL PROGRAMMING.REVISED VERSION OF BRICS |
BibTeX
@TECHREPORT{Danvy96onthe,
author = {Olivier Danvy and Karoline Malmkjær},
title = {On the Idempotence of the CPS Transformation},
institution = {THE JOURNAL OF FUNCTIONAL PROGRAMMING.REVISED VERSION OF BRICS},
year = {1996}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
The CPS (continuation-passing style) transformation on -terms has an interpretation both in programming languages, type theory, proof theory, and logic. Programming intuition suggests that it is idempotent, but this does not directly hold for all existing CPS transformations (Plotkin, Reynolds, Fischer, etc.). We rephrase it to make it syntactically idempotent, modulo j-reduction of the newly introduced continuation.
