User loginNavigation |
Ken Shan: Shift to Control
Ken Shan's Shift to Control (slides) presented at the recent Scheme workshop.
Ken shows that shift/reset, prompt/control, prompt/cupto and lots of other delimited continuation operators are all equally expressible, and all can be modeled by ordinary CPS. The paper shows that shift and reset can macro-express control and prompt, as well as the other operators, without capturing undelimited continuations or keeping mutable state. This translation is previously unknown in the literature. Good stuff! But keep in mind that, as the cartoon in the slide says, control operators can make your head hurt... |
Browse archives
Active forum topics |
Recent comments
38 weeks 4 days ago
38 weeks 4 days ago
38 weeks 4 days ago
1 year 8 weeks ago
1 year 12 weeks ago
1 year 14 weeks ago
1 year 14 weeks ago
1 year 17 weeks ago
1 year 21 weeks ago
1 year 21 weeks ago