Journals in DBLP

Higher-Order and Symbolic Computation
2001, volume: 14, number: 2-3

1. Olivier Danvy, Julia L. Lawall
   Editorial. [Citation Graph (0, 0)][DBLP]
   Higher-Order and Symbolic Computation, 2001, v:14, n:2-3, pp:99-100 [Journal]
   
2. Eijiro Sumii, Naoki Kobayashi
   A Hybrid Approach to Online and Offline Partial Evaluation. [Citation Graph (0, 0)][DBLP]
   Higher-Order and Symbolic Computation, 2001, v:14, n:2-3, pp:101-142 [Journal]
   
3. John P. Gallagher, Julio C. Peralta
   Regular Tree Languages as an Abstract Domain in Program Specialisation. [Citation Graph (0, 0)][DBLP]
   Higher-Order and Symbolic Computation, 2001, v:14, n:2-3, pp:143-172 [Journal]
   
4. Bernd Grobauer, Zhe Yang
   The Second Futamura Projection for Type-Directed Partial Evaluation. [Citation Graph (0, 0)][DBLP]
   Higher-Order and Symbolic Computation, 2001, v:14, n:2-3, pp:173-219 [Journal]
   
5. Naoki Kobayashi
   Type-Based Useless-Variable Elimination. [Citation Graph (0, 0)][DBLP]
   Higher-Order and Symbolic Computation, 2001, v:14, n:2-3, pp:221-260 [Journal]
   
6. Wei-Ngan Chin, Siau-Cheng Khoo
   Calculating Sized Types. [Citation Graph (0, 0)][DBLP]
   Higher-Order and Symbolic Computation, 2001, v:14, n:2-3, pp:261-300 [Journal]