External Links

    Journal: Higher-Order and Symbolic Computation

    Volume 14, Issue 4

    307 -- 307Olivier Danvy, Takayasu Ito, Carolyn L. Talcott. Editorial
    309 -- 356Edoardo Biagioni, Robert Harper, Peter Lee. A Network Protocol Stack in Standard ML
    357 -- 386Luc Moreau. Tree Rerooting in Distributed Garbage Collection: Implementation and Performance Evaluation
    387 -- 409Yong Xiao, Amr Sabry, Zena M. Ariola. From Syntactic Theories to Interpreters: Automating the Proof of Unique Decomposition

    Volume 14, Issue 2-3

    99 -- 100Olivier Danvy, Julia L. Lawall. Editorial
    101 -- 142Eijiro Sumii, Naoki Kobayashi. A Hybrid Approach to Online and Offline Partial Evaluation
    143 -- 172John P. Gallagher, Julio C. Peralta. Regular Tree Languages as an Abstract Domain in Program Specialisation
    173 -- 219Bernd Grobauer, Zhe Yang. The Second Futamura Projection for Type-Directed Partial Evaluation
    221 -- 260Naoki Kobayashi. Type-Based Useless-Variable Elimination
    261 -- 300Wei-Ngan Chin, Siau-Cheng Khoo. Calculating Sized Types

    Volume 14, Issue 1

    5 -- 0Olivier Danvy, Carolyn L. Talcott. Editorial
    7 -- 34Rémi Douence, Mario Südholt. A Generic Reification Technique for Object-Oriented Reflective Languages
    35 -- 57Jerzy Karczmarczuk. Functional Differentiation of Computer Programs
    59 -- 91Andrei Sabelfeld, David Sands. A Per Model of Secure Information Flow in Sequential Programs
    runs on