External Links

    Journal: Higher-Order and Symbolic Computation

    Volume 15, Issue 4

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

    Volume 15, Issue 2-3

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

    Volume 15, Issue 1

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