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