External Links

    Journal: Higher-Order and Symbolic Computation

    Volume 12, Issue 4

    307 -- 308Olivier Danvy, Carolyn L. Talcott. Editorial
    309 -- 335Sandrine Chirokoff, Charles Consel, Renaud Marlet. Combining Program and Data Specialization
    337 -- 375Luke Hornof, Trevor Jim. Certifying Compilation and Run-Time Code Generation
    377 -- 380Yoshihiko Futamura. Partial Evaluation of Computation Process, Revisited
    381 -- 391Yoshihiko Futamura. Partial Evaluation of Computation Process - An Approach to a Compiler-Compiler

    Volume 12, Issue 3

    219 -- 0Olivier Danvy, Carolyn L. Talcott. Editorial
    221 -- 236Guy L. Steele Jr.. Growing a Language
    237 -- 282Alexander Aiken, Edward L. Wimmers, Jens Palsberg. Optimal Representations of Polymorphic Types with Subtyping
    283 -- 0Mitchell Wand. Continuation-Based Multiprocessing Revisited
    285 -- 299Mitchell Wand. Continuation-Based Multiprocessing

    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

    Volume 12, Issue 1

    5 -- 0Olivier Danvy, Carolyn L. Talcott. Editorial
    7 -- 45William D. Clinger, Anne Hartheimer, Eric Ost. Implementation Strategies for First-Class Continuations
    47 -- 73Hayo Thielecke. Using a Continuation Twice and Its Implications for the Expressive Power of Call/CC
    75 -- 104Mark Lillibridge. Unchecked Exceptions Can Be Strictly More Powerful Than Call/CC
    105 -- 113Erik Sandewall. An Early Use of Continuations and Partial Evaluation for Compiling Rules Written in First-Order Predicate Calculus
    runs on