Journals in DBLP

Higher-Order and Symbolic Computation
2000, volume: 13, number: 3

1. Olivier Danvy, Carolyn L. Talcott
   Editorial. [Citation Graph (0, 0)][DBLP]
   Higher-Order and Symbolic Computation, 2000, v:13, n:3, pp:159-160 [Journal]
   
2. Scott Thibault, Charles Consel, Julia L. Lawall, Renaud Marlet, Gilles Muller
   Static and Dynamic Program Compilation by Interpreter Specialization. [Citation Graph (0, 0)][DBLP]
   Higher-Order and Symbolic Computation, 2000, v:13, n:3, pp:161-178 [Journal]
   
3. John Hannan, Patrick Hicks
   Higher-Order UnCurrying. [Citation Graph (0, 0)][DBLP]
   Higher-Order and Symbolic Computation, 2000, v:13, n:3, pp:179-216 [Journal]
   
4. Torben Æ. Mogensen
   Linear-Time Self-Interpretation of the Pure Lambda Calculus. [Citation Graph (0, 0)][DBLP]
   Higher-Order and Symbolic Computation, 2000, v:13, n:3, pp:217-237 [Journal]
   
5. Shin-ya Nishizaki
   A Polymorphic Environment Calculus and its Type-Inference Algorithm. [Citation Graph (0, 0)][DBLP]
   Higher-Order and Symbolic Computation, 2000, v:13, n:3, pp:239-278 [Journal]