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
    runs on