On the Dynamic Extent of Delimited Continuations

Dariusz Biernacki
Olivier Danvy
Chung-chieh Shan

April 2005


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

Available as PostScript, PDF, DVI.


Last modified: 2005-04-29 by webmaster.