External Links

    Journal: Higher-Order and Symbolic Computation

    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
    runs on