External Links

    Journal: Higher-Order and Symbolic Computation

    Volume 11, Issue 2

    117 -- 123Hayo Thielecke. An Introduction to Landin s A Generalization of Jumps and Labels
    125 -- 143Peter J. Landin. A Generalization of Jumps and Labels
    145 -- 175Jakov Kucan. Retraction Approach to CPS Transform
    177 -- 208Gérard Boudol. The p-Calculus in Direct Style
    209 -- 225Edoardo Biagioni, Kenneth Cline, Peter Lee, Chris Okasaki, Christopher A. Stone. Safe-for-Space Threads in Standard ML
    runs on