Strong Normalizatoin of Polymorphic Calculus for Delimited Continuations
The notion of delimited continuations has been proved useful in
various areas of computer programming such as partial evaluation,
mobile computing, and web transaction. In our previous work, we
proposed polymorphic calculi with control operators for delimited
continuations. This paper presents a proof of strong normalization
(SN) of these calculi based on a refined (i.e. administrative
redex-free) CPS translation.