default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDHigher-Order and Symbolic Computation, Volume 15
Volume 15, Number 1, March 2002
- Olivier Danvy
, Takayasu Ito, Carolyn L. Talcott:
Editorial. 5 - Akihiko Tozawa, Masami Hagiya:
Formalization and Analysis of Class Loading in Java. 7-55 - Catarina Coquand:
A Formalised Proof of the Soundness and Completeness of a Simply Typed Lambda-Calculus with Explicit Substitutions. 57-90 - Hongwei Xi:
Dependent Types for Program Termination Verification. 91-131
Volume 15, Number 2-3, September 2002
- Olivier Danvy, Amr Sabry:
Editorial. 139-140 - Hayo Thielecke:
Comparing Control Constructs by Double-Barrelled CPS. 141-160 - John H. Reppy:
Optimizing Nested Loops Using Local CPS Conversion. 161-180 - Josh Berdine, Peter W. O'Hearn, Uday S. Reddy, Hayo Thielecke:
Linear Continuation-Passing. 181-208 - Steve Zdancewic, Andrew C. Myers:
Secure Information Flow via Linear Continuations. 209-234 - Masahito Hasegawa, Yoshihiko Kakutani:
Axioms for Recursion in Call-by-Value. 235-264
Volume 15, Number 4, December 2002
- Olivier Danvy, Carolyn L. Talcott:
Editorial. 271 - Patricia Johann:
A Generalization of Short-Cut Fusion and its Correctness Proof. 273-300 - Scott F. Smith, Carolyn L. Talcott:
Specification Diagrams for Actor Systems. 301-348 - Peter Henderson:
Functional Geometry. 349-365
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-10-28 21:50 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
