First-class continuation
= First-class continuation
A <continuation> represented as an ordinary language value that can be stored and later invoked. Whether it may be invoked once or repeatedly, and whether mutable <program state> is restored, are separate semantic choices.