Models of control and their implications for programming language design

On the static and dynamic extents of delimited continuations

Science of Computer Programming

Design and semantics of quantum: a language to control resource consumption in distributed computing

DSL'97 Proceedings of the Conference on Domain-Specific Languages on Conference on Domain-Specific Languages (DSL), 1997

Functional pearl: the great escape or, how to jump the border without getting caught

ICFP '07 Proceedings of the 12th ACM SIGPLAN international conference on Functional programming

Revisiting coroutines

ACM Transactions on Programming Languages and Systems (TOPLAS)