External Links

    Journal: Higher-Order and Symbolic Computation

    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