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