On the Dynamic Extent of Delimited Continuations

Authors

  • Dariusz Biernacki
  • Olivier Danvy
  • Chung-chieh Shan

DOI:

https://doi.org/10.7146/brics.v12i13.21879

Abstract

We show that breadth-first traversal exploits the difference between the static delimited-control operator `shift' (alias `S') and the dynamic delimited-control operator `control' (alias `F'). For the last 15 years, this difference has been repeatedly mentioned in the literature but it has only been illustrated with one-line toy examples. Breadth-first traversal fills this vacuum.

Downloads

Published

2005-04-11

How to Cite

Biernacki, D., Danvy, O., & Shan, C.- chieh. (2005). On the Dynamic Extent of Delimited Continuations. BRICS Report Series, 12(13). https://doi.org/10.7146/brics.v12i13.21879