A Sound and Complete Axiomatization of Delimited Continuations (2003)

Cached

Download Links

by Yukiyoshi Kameyama , Masahito Hasegawa
Venue:In Proc. of 8th ACM SIGPLAN Int. Conf. on Functional Programming, ICFP’03
Citations:25 - 8 self