![]() |
CiteULike | ![]() |
namin's CiteULike | ![]() |
![]() |
|
![]() |
Register | ![]() |
Log in | ![]() |
A Dynamic Extent Control Operator for Partial ContinuationsIn Conference Record of the Eighteenth Annual ACM Symposium on Principles of Programming Languages (1991), pp. 174-184.
|
Reviews
[Write a review of this article]
Find related articles from these CiteULike users
Find related articles with these CiteULike tags
Posting History
Abstract: A partial continuation is a prefix of the computation that remains to be done. We propose in this paper a new operator which precisely controls which prefix is to be abstracted into a partial continuation. This operator is strongly related to the notion of dynamic extent which we denotationally characterize. Some programming examples are commented and we also show how to express previously proposed control operators. A suggested implementation is eventually discussed. Keywords: continuation, ...
BibTeX record
RIS record