External Links

    Journal: Higher-Order and Symbolic Computation

    Volume 9, Issue 4

    287 -- 322Wei-Ngan Chin, John Darlington. A Higher-Order Removal Method
    323 -- 342David Tarditi, Amer Diwan. Measuring the Cost of Storage Management
    343 -- 358Sho-Huan Simon Tung, R. Kent Dybvig. Reliable Interactive Programming with Modules

    Volume 9, Issue 2-3

    153 -- 179Jacques Malenfant, Christophe Dony, Pierre Cointe. A Semantics of Introspection in a Reflective Prototype-Based Language
    181 -- 202Stanley Jefferson, Daniel P. Friedman. A Simple Reflective Interpreter
    203 -- 241Kenichi Asai, Satoshi Matsuoka, Akinori Yonezawa. Duplication and Partial Evaluation For a Better Understanding of Reflective Languages
    243 -- 277Yasuaki Honda, Mario Tokoro. Reflection and Time-Dependent Computing: Experiences with the R2 Architecture

    Volume 9, Issue 1

    7 -- 76Uday S. Reddy. Global State Considered Unnecessary: An Introduction to Object-Based Semantics
    77 -- 107Ian Stark. Categorical Models for Local Names
    109 -- 143Jonathan Springer, Samuel N. Kamin. Strictness Analysis in the Imperative Lambda Calculus
    runs on