Abstract is missing.
- Tag-Free Garbage Collection Using Explicit Type ParametersAndrew P. Tolmach. 1-11 [doi]
- Garbage Collection for Strongly-Typed Languages Using Run-Time Type ReconstructionShail Aditya, Christine H. Flood, James E. Hicks. 12-23 [doi]
- Collecting More GarbagePascal Fradet. 24-33 [doi]
- Concurrent Replicating Garbage CollectionJames O Toole, Scott Nettles. 34-42 [doi]
- Characterization of Object Behaviour in Standard ML of New JerseyDarko Stefanovic, J. Eliot B. Moss. 43-54 [doi]
- Signatures for a Network Protocol Stack: A Systems Application of Standard MLEdoardo Biagioni, Robert Harper, Peter Lee, Brian Milnes. 55-64 [doi]
- Static Dependent Costs for Estimating Execution TimeBrian Reistad, David K. Gifford. 65-78 [doi]
- Using the Run-Time Sizes of Data Structures to Guide Parallel-Thread CreationLorenz Huelsbergen, James R. Larus, Alexander Aiken. 79-90 [doi]
- Locality, Causality and ContinuationsChristian Queinnec. 91-102 [doi]
- Syntax and Semantics of a Persistent Common LispJ. H. Jacobs, Mark R. Swanson. 103-112 [doi]
- Talking About Modules and DeliveryHarley Davis, Pierre Parquier, Nitsan Séniak. 113-120 [doi]
- Sweet Harmony: The Talk/C++ ConnectionHarley Davis, Pierre Parquier, Nitsan Séniak. 121-127 [doi]
- An Efficient Implementation of Multiple Return Values in SchemeJ. Michael Ashley, R. Kent Dybvig. 140-149 [doi]
- Space-Efficient Closure RepresentationsZhong Shao, Andrew W. Appel. 150-161 [doi]
- Using Hindley-Milner Type Inference to Optimise List RepresentationCordelia V. Hall. 162-172 [doi]
- A Randomized Implementation of Multiple Functional ArraysTyng-Ruey Chuang. 173-184 [doi]
- Unrolling ListsZhong Shao, John H. Reppy, Andrew W. Appel. 185-195 [doi]
- A Direct Algorithm for Type Inference in the Rank-2 Fragment of the Second-Order lambda-CalculusA. J. Kfoury, J. B. Wells. 196-207 [doi]
- Semantics of Type Classes RevisitedSatish R. Thatte. 208-219 [doi]
- Continuation-Based Partial EvaluationJulia L. Lawall, Olivier Danvy. 227-238 [doi]
- Type Reconstruction for Variable-Arity ProceduresHsianlin Dzeng, Christopher T. Haynes. 239-249 [doi]
- A Practical Soft Type System for SchemeAndrew K. Wright, Robert Cartwright. 250-262 [doi]
- Parallel Destructive Updating in Strict Functional LanguagesA. V. S. Sastry, William D. Clinger. 263-272 [doi]
- Towards Better Inlining Decisions Using Inlining TrialsJeffrey Dean, Craig Chambers. 273-282 [doi]
- In-Place Updates in the Presence of Control OperatorsSandip K. Biswas. 283-293 [doi]
- Analyzing Stores and References in a Parallel Symbolic LanguageSuresh Jagannathan, Stephen Weeks. 294-305 [doi]
- Set-Based Analysis of ML ProgramsNevin Heintze. 306-317 [doi]
- An Equational Framework for the Flow Analysis of Higher Order Functional ProgramsDan C. Stefanescu, Yuli Zhou. 318-327 [doi]