External Links

    Journal: Higher-Order and Symbolic Computation

    Volume 13, Issue 4

    287 -- 288Olivier Danvy, Carolyn L. Talcott. Editorial
    289 -- 313Yanhong A. Liu. Efficiency by Incrementalization: An Introduction
    315 -- 353John Hatcliff, Matthew B. Dwyer, Hongjun Zheng. Slicing Software for Model Construction
    355 -- 368Torben Æ. Mogensen. Glossary for Partial Evaluation and Related Topics

    Volume 13, Issue 3

    159 -- 160Olivier Danvy, Carolyn L. Talcott. Editorial
    161 -- 178Scott Thibault, Charles Consel, Julia L. Lawall, Renaud Marlet, Gilles Muller. Static and Dynamic Program Compilation by Interpreter Specialization
    179 -- 216John Hannan, Patrick Hicks. Higher-Order UnCurrying
    217 -- 237Torben Æ. Mogensen. Linear-Time Self-Interpretation of the Pure Lambda Calculus
    239 -- 278Shin-ya Nishizaki. A Polymorphic Environment Calculus and its Type-Inference Algorithm

    Volume 13, Issue 1/2

    5 -- 6Olivier Danvy, Carolyn L. Talcott. Editorial
    7 -- 9Peter D. Mosses. A Foreword to Fundamental Concepts in Programming Languages
    11 -- 49Christopher Strachey. Fundamental Concepts in Programming Languages
    51 -- 55Rod M. Burstall. Christopher Strachey - Understanding Programming Languages
    57 -- 63R. Kent Dybvig. From Macrogeneration to Syntactic Abstraction
    65 -- 67Michael J. C. Gordon. Christopher Strachey: Recollections of His Influence
    69 -- 70David Hartley. Cambridge and CPL in the 1960s
    71 -- 72C. A. R. Hoare. A Hard Act to Follow
    73 -- 74Michael Jackson. Christopher Strachey: A Personal Recollection
    75 -- 76Peter J. Landin. My Years with Strachey
    77 -- 81Robert Milne. From Language Concepts to Implementation Concepts
    83 -- 84Roger Penrose. Reminiscences of Christopher Strachey
    85 -- 88Martin Richards. Christopher Strachey and the Cambridge CPL Compiler
    89 -- 101David A. Schmidt. Induction, Domains, Calculi: Strachey s Contributions to Programming-Language Engineering
    103 -- 114Dana S. Scott. Some Reflections on Strachey and His Work
    115 -- 117Joseph E. Stoy. Christopher Strachey and Fundamental Concepts
    119 -- 129Robert D. Tennent, Dan R. Ghica. Abstract Models of Storage
    131 -- 133Christopher P. Wadsworth. Continuations Revisited
    135 -- 152Christopher Strachey, Christopher P. Wadsworth. Continuations: A Mathematical Semantics for Handling Full Jumps
    runs on