Yukiyoshi Kameyama. Dynamic Control Operators in Type Theory. In The Second Asian Workshop on Programming Languages and Systems, APLAS 01, Korea Advanced Institute of Science and Technology, Daejeon, Korea, December 17-18, 2001, Proceedings. pages 1-11, 2001.
Abstract is missing.