Journals in DBLP

Higher-Order and Symbolic Computation
1998, volume: 11, number: 2

1. Hayo Thielecke
   An Introduction to Landin's ``A Generalization of Jumps and Labels''. [Citation Graph (0, 0)][DBLP]
   Higher-Order and Symbolic Computation, 1998, v:11, n:2, pp:117-123 [Journal]
   
2. Peter J. Landin
   A Generalization of Jumps and Labels. [Citation Graph (0, 0)][DBLP]
   Higher-Order and Symbolic Computation, 1998, v:11, n:2, pp:125-143 [Journal]
   
3. Jakov Kucan
   Retraction Approach to CPS Transform. [Citation Graph (0, 0)][DBLP]
   Higher-Order and Symbolic Computation, 1998, v:11, n:2, pp:145-175 [Journal]
   
4. Gérard Boudol
   The p-Calculus in Direct Style. [Citation Graph (0, 0)][DBLP]
   Higher-Order and Symbolic Computation, 1998, v:11, n:2, pp:177-208 [Journal]
   
5. Edoardo Biagioni, Kenneth Cline, Peter Lee, Chris Okasaki, Chris Stone
   Safe-for-Space Threads in Standard ML. [Citation Graph (0, 0)][DBLP]
   Higher-Order and Symbolic Computation, 1998, v:11, n:2, pp:209-225 [Journal]