Login / Signup
A sound and complete axiomatization of delimited continuations.
Yukiyoshi Kameyama
Masahito Hasegawa
Published in:
SIGPLAN Notices (2003)
Keyphrases
</>