A static simulation of dynamic delimited control

Chung-chieh Shan. A static simulation of dynamic delimited control. Higher-Order and Symbolic Computation, 20(4):371-401, 2007. [doi]

Abstract

Abstract is missing.