A sound and complete axiomatization of delimited continuations

Yukiyoshi Kameyama, Masahito Hasegawa. A sound and complete axiomatization of delimited continuations. SIGPLAN Notices, 38(9):177-188, 2003. [doi]

Abstract

Abstract is missing.