|
Journals in DBLP
- Olivier Danvy, Carolyn L. Talcott
Editorial. [Citation Graph (0, 0)][DBLP] Higher-Order and Symbolic Computation, 2001, v:14, n:1, pp:5- [Journal]
- Rémi Douence, Mario Südholt
A Generic Reification Technique for Object-Oriented Reflective Languages. [Citation Graph (0, 0)][DBLP] Higher-Order and Symbolic Computation, 2001, v:14, n:1, pp:7-34 [Journal]
- Jerzy Karczmarczuk
Functional Differentiation of Computer Programs. [Citation Graph (0, 0)][DBLP] Higher-Order and Symbolic Computation, 2001, v:14, n:1, pp:35-57 [Journal]
- Andrei Sabelfeld, David Sands
A Per Model of Secure Information Flow in Sequential Programs. [Citation Graph (0, 0)][DBLP] Higher-Order and Symbolic Computation, 2001, v:14, n:1, pp:59-91 [Journal]
|