researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
External Links
Journal: Higher-Order and Symbolic Computation
Home
Index
Info
Volume
Volume
9
, Issue
4
287
--
322
Wei-Ngan Chin
,
John Darlington
.
A Higher-Order Removal Method
323
--
342
David Tarditi
,
Amer Diwan
.
Measuring the Cost of Storage Management
343
--
358
Sho-Huan Simon Tung
,
R. Kent Dybvig
.
Reliable Interactive Programming with Modules
Volume
9
, Issue
2-3
153
--
179
Jacques Malenfant
,
Christophe Dony
,
Pierre Cointe
.
A Semantics of Introspection in a Reflective Prototype-Based Language
181
--
202
Stanley Jefferson
,
Daniel P. Friedman
.
A Simple Reflective Interpreter
203
--
241
Kenichi Asai
,
Satoshi Matsuoka
,
Akinori Yonezawa
.
Duplication and Partial Evaluation For a Better Understanding of Reflective Languages
243
--
277
Yasuaki Honda
,
Mario Tokoro
.
Reflection and Time-Dependent Computing: Experiences with the R2 Architecture
Volume
9
, Issue
1
7
--
76
Uday S. Reddy
.
Global State Considered Unnecessary: An Introduction to Object-Based Semantics
77
--
107
Ian Stark
.
Categorical Models for Local Names
109
--
143
Jonathan Springer
,
Samuel N. Kamin
.
Strictness Analysis in the Imperative Lambda Calculus