From Control Effects to Typed Continuation Passing

From Control Effects to Typed Continuation Passing (2003)

by Hayo Thielecke

Venue:	In 30th SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL’03
Citations:	13 - 1 self

Datum	Value	Source
TITLE	From Control Effects to Typed Continuation Passing	SVM HeaderParse 0.1
AUTHOR NAME	Hayo Thielecke	SVM HeaderParse 0.1
AUTHOR ADDR	; Birmingham B15 2TT; United Kingdom	SVM HeaderParse 0.1
ABSTRACT	First-class continuations are a powerful computational effect, allowing the programmer to express any form of jumping. Types and effect systems can be used to reason about continuations, both in the source language and in the target language of the continuation-passing transform. In this paper, we establish the connection between an effect system for first-class continuations and typed versions of continuationpassing style. A region in the effect system determines a local answer type for continuations, such that the continuation transforms of pure expressions are parametrically polymorphic in their answer types. We use this polymorphism to derive transforms that make use of effect information, in particular, a mixed linear/non-linear continuation-passing transform, in which expressions without control effects are passed their continuations linearly.	SVM HeaderParse 0.1
CITATIONS	28 found	ParsCit 1.0