A sound and complete axiomatization of delimited continuations.

Yukiyoshi Kameyama, Masahito Hasegawa

Browse the full ICFP paper archive.