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
Copyright ©
Sun May 17 00:12:59 2009 by
Michael Ley
(
ley@uni-trier.de
)