Higher-Order and Symbolic Computation
Volume 15, Issue 1 (March 2002)
| p. 5 |
Editorial
Olivier Danvy, Takayasu Ito and Carolyn Talcott [editorial] |
| pp. 7-55 |
Formalization and Analysis of Class Loading in Java
Akihiko Tozawa and Masami Hagiya [abstract | full text] |
| pp. 57-90 |
A Formalised Proof of the Soundness and Completeness of a Simply Typed Lambda-Calculus with Explicit Substitutions
Catarina Coquand [abstract | full text] |
| pp. 91-131 |
Dependent Types for Program Termination Verification
Hongwei Xi [abstract | full text] |
Volume 14, Issue 2/3 (September 2002) Special Issue on the third ACM SIGPLAN Workshop on Continuations (CW 2001)
| pp. 139-140 |
Editorial
Olivier Danvy and Amr Sabry [editorial] |
| pp. 141-160 |
Comparing Control Constructs by Double-Barrelled CPS
Hayo Thielecke [abstract | full text] |
| pp. 161-180 |
Optimizing Nested Loops Using Local CPS Conversion
John Reppy [abstract | full text] |
| pp. 181-208 |
Linear Continuation-Passing
Josh Berdine, Peter O'Hearn, Uday Reddy and Hayo Thielecke [abstract | full text] |
| pp. 209-234 |
Secure Information Flow via Linear Continuations
Steve Zdancewic and Andrew C. Myers [abstract | full text] |
| pp. 235-264 |
Axioms for Recursion in Call-by-Value
Masahito Hasegawa and Yoshihiko Kakutani [abstract | full text] |
Volume 15, Issue 4 (December 2002)
| p. 271 |
Editorial
Olivier Danvy and Carolyn Talcott [editorial] |
| pp. 273-300 |
A Generalization of Short-Cut Fusion and its Correctness Proof
Patricia Johann [abstract | full text] |
| pp. 301-348 |
Specification Diagrams for Actor Systems
Scott F. Smith and Carolyn L. Talcott [abstract | full text] |
| pp. 349-365 |
Functional Geometry
Peter Henderson [abstract | full text | local copy] |
![[picture of journal cover]](../LISP.JPG)