Editorial

摘要

This issue of HOSC is the first of two issues that arose after the Fourth ACM SIGPLAN Workshop on Continuations [3]. The four technical articles in this issue were contributed and formally reviewed. In "Axioms for control operators in the CPS hierarchy", Yukiyoshi Kameyama axiomatizes the delimited-control operators shift and reset, and shows this axiomatization to be sound with respect to the corresponding CPS transformation.