The SCEAS System
Navigation Menu

Journals in DBLP

Higher-Order and Symbolic Computation
2002, volume: 15, number: 2-3

  1. Olivier Danvy, Amr Sabry
    Editorial. [Citation Graph (0, 0)][DBLP]
    Higher-Order and Symbolic Computation, 2002, v:15, n:2-3, pp:139-140 [Journal]
  2. Hayo Thielecke
    Comparing Control Constructs by Double-Barrelled CPS. [Citation Graph (0, 0)][DBLP]
    Higher-Order and Symbolic Computation, 2002, v:15, n:2-3, pp:141-160 [Journal]
  3. John H. Reppy
    Optimizing Nested Loops Using Local CPS Conversion. [Citation Graph (0, 0)][DBLP]
    Higher-Order and Symbolic Computation, 2002, v:15, n:2-3, pp:161-180 [Journal]
  4. Josh Berdine, Peter W. O'Hearn, Uday S. Reddy, Hayo Thielecke
    Linear Continuation-Passing. [Citation Graph (0, 0)][DBLP]
    Higher-Order and Symbolic Computation, 2002, v:15, n:2-3, pp:181-208 [Journal]
  5. Steve Zdancewic, Andrew C. Myers
    Secure Information Flow via Linear Continuations. [Citation Graph (0, 0)][DBLP]
    Higher-Order and Symbolic Computation, 2002, v:15, n:2-3, pp:209-234 [Journal]
  6. Masahito Hasegawa, Yoshihiko Kakutani
    Axioms for Recursion in Call-by-Value. [Citation Graph (0, 0)][DBLP]
    Higher-Order and Symbolic Computation, 2002, v:15, n:2-3, pp:235-264 [Journal]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002