A Generic Account of Continuation-Passing Styles (1994)
| Venue: | Proceedings of the Twenty-first Annual ACM Symposium on Principles of Programming Languages |
| Citations: | 79 - 33 self |
BibTeX
@INPROCEEDINGS{Hatcliff94ageneric,
author = {John Hatcliff and Olivier Danvy},
title = {A Generic Account of Continuation-Passing Styles},
booktitle = {Proceedings of the Twenty-first Annual ACM Symposium on Principles of Programming Languages},
year = {1994},
pages = {458--471},
publisher = {ACM Press}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
We unify previous work on the continuation-passing style (CPS) transformations in a generic framework based on Moggi's computational meta-language. This framework is used to obtain CPS transformations for a variety of evaluation strategies and to characterize the corresponding administrative reductions and inverse transformations. We establish generic formal connections between operational semantics and equational theories. Formal properties of transformations for specific evaluation orders follow as corollaries. Essentially, we factor transformations through Moggi's computational meta-language. Mapping -terms into the meta-language captures computational properties (e.g., partiality, strictness) and evaluation order explicitly in both the term and the type structure of the meta-language. The CPS transformation is then obtained by applying a generic transformation from terms and types in the meta-language to CPS terms and types, based on a typed term representation of the continuation ...
