A sound and complete axiomatization of delimited continuations (2003)

by Y Kameyama, M Hasegawa
Venue:Proceedings of the 2003 ACM SIGPLAN International Conference on Functional Programming