A Dynamic Extent Control Operator for Partial Continuations

@inproceedings{Queinnec1991ADE,
  title={A Dynamic Extent Control Operator for Partial Continuations},
  author={Christian Queinnec and Bernard P. Serpette},
  booktitle={POPL},
  year={1991}
}
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. 
Highly Cited
This paper has 49 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.