Higher-Order and Symbolic Computation, Volume 15

Volume 15, Number 1, March 2002

- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/lisp/DanvyIT02
- ask others
Olivier Danvy, Takayasu Ito, Carolyn L. Talcott: Editorial. 5
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/lisp/TozawaH02
- ask others
Akihiko Tozawa, Masami Hagiya: Formalization and Analysis of Class Loading in Java. 7-55
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/lisp/Coquand02
- ask others
Catarina Coquand: A Formalised Proof of the Soundness and Completeness of a Simply Typed Lambda-Calculus with Explicit Substitutions. 57-90
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/lisp/Xi02
- ask others
Hongwei Xi: Dependent Types for Program Termination Verification. 91-131

Volume 15, Number 2-3, September 2002

- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/lisp/DanvyS02
- ask others
Olivier Danvy, Amr Sabry: Editorial. 139-140
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/lisp/Thielecke02
- ask others
Hayo Thielecke: Comparing Control Constructs by Double-Barrelled CPS. 141-160
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/lisp/Reppy02
- ask others
John H. Reppy: Optimizing Nested Loops Using Local CPS Conversion. 161-180
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/lisp/BerdineORT02
- ask others
Josh Berdine, Peter W. O'Hearn, Uday S. Reddy, Hayo Thielecke: Linear Continuation-Passing. 181-208
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/lisp/ZdancewicM02
- ask others
Steve Zdancewic, Andrew C. Myers: Secure Information Flow via Linear Continuations. 209-234
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/lisp/HasegawaK02
- ask others
Masahito Hasegawa, Yoshihiko Kakutani: Axioms for Recursion in Call-by-Value. 235-264

Volume 15, Number 4, December 2002

- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/lisp/DanvyT02
- ask others
Olivier Danvy, Carolyn L. Talcott: Editorial. 271
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/lisp/Johann02
- ask others
Patricia Johann: A Generalization of Short-Cut Fusion and its Correctness Proof. 273-300
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/lisp/SmithT02
- ask others
Scott F. Smith, Carolyn L. Talcott: Specification Diagrams for Actor Systems. 301-348
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/lisp/Henderson02
- ask others
Peter Henderson: Functional Geometry. 349-365