Journals in DBLP

Higher-Order and Symbolic Computation
2006, volume: 19, number: 4

1. Olivier Danvy, Andrzej Filinski, Jean-Louis Giavitto, Andy King, Pierre-Etienne Moreau, Carolyn L. Talcott
   Editorial. [Citation Graph (0, 0)][DBLP]
   Higher-Order and Symbolic Computation, 2006, v:19, n:4, pp:343-344 [Journal]
   
2. Clara Bertolissi, Horatiu Cirstea, Claude Kirchner
   Expressing combinatory reduction systems derivations in the rewriting calculus. [Citation Graph (0, 0)][DBLP]
   Higher-Order and Symbolic Computation, 2006, v:19, n:4, pp:345-376 [Journal]
   
3. Paul Blain Levy
   Call-by-push-value: Decomposing call-by-value and call-by-name. [Citation Graph (0, 0)][DBLP]
   Higher-Order and Symbolic Computation, 2006, v:19, n:4, pp:377-414 [Journal]
   
4. Patricia M. Hill, Fausto Spoto
   Deriving escape analysis by abstract interpretation. [Citation Graph (0, 0)][DBLP]
   Higher-Order and Symbolic Computation, 2006, v:19, n:4, pp:415-463 [Journal]