A Generic Account of Continuation-Passing Styles

A Generic Account of Continuation-Passing Styles (1994)

Cached

Download Links

[ftp.daimi.aau.dk]

Other Repositories/Bibliography

DBLP

by John Hatcliff , Olivier Danvy

Venue:	Proceedings of the Twenty-first Annual ACM Symposium on Principles of Programming Languages
Citations:	79 - 33 self

Versions

Version History

Metadata Version 3

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	A Generic Account of Continuation-Passing Styles	user correction - Legacy Corrections
AUTHOR NAME	John Hatcliff	SVM HeaderParse 0.1
AUTHOR AFFIL	Department of Computing and Information Sciences; Kansas State University	SVM HeaderParse 0.2
AUTHOR NAME	Olivier Danvy	SVM HeaderParse 0.1
AUTHOR AFFIL	Department of Computer Science; Aarhus University; z	SVM HeaderParse 0.2
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 ...	user correction - Legacy Corrections
YEAR	1994	INFERENCE
VENUE	Proceedings of the Twenty-first Annual ACM Symposium on Principles of Programming Languages	INFERENCE
VENUE TYPE	CONFERENCE	INFERENCE
PAGES	458--471	INFERENCE
CITATIONS	44 found	ParsCit 1.0