Journals in DBLP

Higher-Order and Symbolic Computation
2000, volume: 13, number: 1/2

1. Olivier Danvy, Carolyn L. Talcott
   Editorial. [Citation Graph (0, 0)][DBLP]
   Higher-Order and Symbolic Computation, 2000, v:13, n:1/2, pp:5-6 [Journal]
   
2. Peter D. Mosses
   A Foreword to `Fundamental Concepts in Programming Languages'. [Citation Graph (0, 0)][DBLP]
   Higher-Order and Symbolic Computation, 2000, v:13, n:1/2, pp:7-9 [Journal]
   
3. Christopher Strachey
   Fundamental Concepts in Programming Languages. [Citation Graph (0, 0)][DBLP]
   Higher-Order and Symbolic Computation, 2000, v:13, n:1/2, pp:11-49 [Journal]
   
4. Rod M. Burstall
   Christopher Strachey - Understanding Programming Languages. [Citation Graph (0, 0)][DBLP]
   Higher-Order and Symbolic Computation, 2000, v:13, n:1/2, pp:51-55 [Journal]
   
5. R. Kent Dybvig
   From Macrogeneration to Syntactic Abstraction. [Citation Graph (0, 0)][DBLP]
   Higher-Order and Symbolic Computation, 2000, v:13, n:1/2, pp:57-63 [Journal]
   
6. Michael J. C. Gordon
   Christopher Strachey: Recollections of His Influence. [Citation Graph (0, 0)][DBLP]
   Higher-Order and Symbolic Computation, 2000, v:13, n:1/2, pp:65-67 [Journal]
   
7. David Hartley
   Cambridge and CPL in the 1960s. [Citation Graph (0, 0)][DBLP]
   Higher-Order and Symbolic Computation, 2000, v:13, n:1/2, pp:69-70 [Journal]
   
8. C. A. R. Hoare
   A Hard Act to Follow. [Citation Graph (0, 0)][DBLP]
   Higher-Order and Symbolic Computation, 2000, v:13, n:1/2, pp:71-72 [Journal]
   
9. Michael Jackson
   Christopher Strachey: A Personal Recollection. [Citation Graph (0, 0)][DBLP]
   Higher-Order and Symbolic Computation, 2000, v:13, n:1/2, pp:73-74 [Journal]
   
10. Peter J. Landin
    My Years with Strachey. [Citation Graph (0, 0)][DBLP]
    Higher-Order and Symbolic Computation, 2000, v:13, n:1/2, pp:75-76 [Journal]
    
11. Robert Milne
    From Language Concepts to Implementation Concepts. [Citation Graph (0, 0)][DBLP]
    Higher-Order and Symbolic Computation, 2000, v:13, n:1/2, pp:77-81 [Journal]
    
12. Roger Penrose
    Reminiscences of Christopher Strachey. [Citation Graph (0, 0)][DBLP]
    Higher-Order and Symbolic Computation, 2000, v:13, n:1/2, pp:83-84 [Journal]
    
13. Martin Richards
    Christopher Strachey and the Cambridge CPL Compiler. [Citation Graph (0, 0)][DBLP]
    Higher-Order and Symbolic Computation, 2000, v:13, n:1/2, pp:85-88 [Journal]
    
14. David A. Schmidt
    Induction, Domains, Calculi: Strachey's Contributions to Programming-Language Engineering. [Citation Graph (0, 0)][DBLP]
    Higher-Order and Symbolic Computation, 2000, v:13, n:1/2, pp:89-101 [Journal]
    
15. Dana S. Scott
    Some Reflections on Strachey and His Work. [Citation Graph (0, 0)][DBLP]
    Higher-Order and Symbolic Computation, 2000, v:13, n:1/2, pp:103-114 [Journal]
    
16. Joseph E. Stoy
    Christopher Strachey and Fundamental Concepts. [Citation Graph (0, 0)][DBLP]
    Higher-Order and Symbolic Computation, 2000, v:13, n:1/2, pp:115-117 [Journal]
    
17. Robert D. Tennent, Dan R. Ghica
    Abstract Models of Storage. [Citation Graph (0, 0)][DBLP]
    Higher-Order and Symbolic Computation, 2000, v:13, n:1/2, pp:119-129 [Journal]
    
18. Christopher P. Wadsworth
    Continuations Revisited. [Citation Graph (0, 0)][DBLP]
    Higher-Order and Symbolic Computation, 2000, v:13, n:1/2, pp:131-133 [Journal]
    
19. Christopher Strachey, Christopher P. Wadsworth
    Continuations: A Mathematical Semantics for Handling Full Jumps. [Citation Graph (0, 0)][DBLP]
    Higher-Order and Symbolic Computation, 2000, v:13, n:1/2, pp:135-152 [Journal]