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