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
Issue
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