researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
External Links
Journal: Higher-Order and Symbolic Computation
Home
Index
Info
Issue
Volume
14
, Issue
1
5
--
0
Olivier Danvy
,
Carolyn L. Talcott
.
Editorial
7
--
34
Rémi Douence
,
Mario Südholt
.
A Generic Reification Technique for Object-Oriented Reflective Languages
35
--
57
Jerzy Karczmarczuk
.
Functional Differentiation of Computer Programs
59
--
91
Andrei Sabelfeld
,
David Sands
.
A Per Model of Secure Information Flow in Sequential Programs