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