External Links

    Journal: Higher-Order and Symbolic Computation

    Volume 12, Issue 2

    123 -- 124Olivier Danvy, Carolyn L. Talcott. Introduction
    125 -- 170Gilles Barthe, John Hatcliff, Morten Heine Sørensen. CPS Translations and Applications: The Cube and Beyond
    171 -- 201Ian A. Mason. Computing with Contexts
    203 -- 212C. S. Lee. Partial Evaluation of the Euclidean Algorithm, Revisited
    runs on