Higher-Order and Symbolic Computation, Volume 15

Volume 15, Number 1, March 2002

• Olivier Danvy, Takayasu Ito, Carolyn L. Talcott: Editorial. 5 BibTeX
• Akihiko Tozawa, Masami Hagiya: Formalization and Analysis of Class Loading in Java. 7-55 BibTeX
• Catarina Coquand: A Formalised Proof of the Soundness and Completeness of a Simply Typed Lambda-Calculus with Explicit Substitutions. 57-90 BibTeX
• Hongwei Xi: Dependent Types for Program Termination Verification. 91-131 BibTeX

Volume 15, Number 2-3, September 2002

• Olivier Danvy, Amr Sabry: Editorial. 139-140 BibTeX
• Hayo Thielecke: Comparing Control Constructs by Double-Barrelled CPS. 141-160 BibTeX
• John H. Reppy: Optimizing Nested Loops Using Local CPS Conversion. 161-180 BibTeX
• Josh Berdine, Peter W. O'Hearn, Uday S. Reddy, Hayo Thielecke: Linear Continuation-Passing. 181-208 BibTeX
• Steve Zdancewic, Andrew C. Myers: Secure Information Flow via Linear Continuations. 209-234 BibTeX
• Masahito Hasegawa, Yoshihiko Kakutani: Axioms for Recursion in Call-by-Value. 235-264 BibTeX

Volume 15, Number 4, December 2002

• Olivier Danvy, Carolyn L. Talcott: Editorial. 271 BibTeX
• Patricia Johann: A Generalization of Short-Cut Fusion and its Correctness Proof. 273-300 BibTeX
• Scott F. Smith, Carolyn L. Talcott: Specification Diagrams for Actor Systems. 301-348 BibTeX
• Peter Henderson: Functional Geometry. 349-365 BibTeX