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