first-class continuation

Bruce F. Duba; David Macqueen (January 1991), “Typing First-Class Continuations in ML”, in Journal of Functional Programming, volume 3, issue 4, DOI:10.1017/S095679680000085X: “First-class continuations are a simple and natural way to provide access to the flow of evaluation in functional languages.”