External Links

    Journal: Higher-Order and Symbolic Computation

    Volume 15, Issue 2-3

    139 -- 140Olivier Danvy, Amr Sabry. Editorial
    141 -- 160Hayo Thielecke. Comparing Control Constructs by Double-Barrelled CPS
    161 -- 180John H. Reppy. Optimizing Nested Loops Using Local CPS Conversion
    181 -- 208Josh Berdine, Peter W. O Hearn, Uday S. Reddy, Hayo Thielecke. Linear Continuation-Passing
    209 -- 234Steve Zdancewic, Andrew C. Myers. Secure Information Flow via Linear Continuations
    235 -- 264Masahito Hasegawa, Yoshihiko Kakutani. Axioms for Recursion in Call-by-Value
    runs on