Axiomatizing Higher Level Delimited Continuation

Fourth ACM-SIGPLAN Continuation Workshop

Yukiyoshi Kameyama

PID  :  83406

来源: CEUR

【 摘 要 】

In our previous work we gave a sound and complete axioma tization of the control operators for delimited continuations, shift and reset by Danvy and Filinski and their variants. Since the calculus allows only one use of shift and reset, a next step is to investigate the calculus with many different shift’s and reset’s. In this work, we study the calculus with higherlevel delimited continuation operators, and give a sound and complete axiomatization of the calculus with level1 and level2 control operators for delimited continua tions. Due to lack of space, we leave the detailed proof to a separate draft available at: