Abstract is missing.
- Let-floating: Moving Bindings to Give Faster ProgramsSimon L. Peyton Jones, Will Partain, André L. M. Santos. 1-12
- A Reflection on Call-by-ValueAmr Sabry, Philip Wadler. 13-24
- Functional Back-Ends within the Lambda-Sigma CalculusThérèse Hardin, Luc Maranget, Bruno Pagano. 25-33
- Lag, Drag, Void and Use - Heap Profiling and Space-Efficient Compilation RevisitedNiklas Röjemo, Colin Runciman. 34-41
- Static and Dynamic Partitioning of Pointers as Links and ThreadsDavid S. Wise, Joshua Walgenbach. 42-49
- Storage Use Analysis and its ApplicationsManuel Serrano, Marc Feeley. 50-61
- The Role of Lazy Evaluation in Amortized Data StructuresChris Okasaki. 62-72
- Deriving Structural Hylomorphisms From Recursive DefinitionsZhenjiang Hu, Hideya Iwasaki, Masato Takeichi. 73-82
- Analysis and Caching of DependenciesMartín Abadi, Butler W. Lampson, Jean-Jacques Lévy. 83-91
- Optimality and Inefficiency: What Isn t a Cost Model of the Lambda Calculus?Julia L. Lawall, Harry G. Mairson. 92-101
- Inductive, Coinductive, and Pointed TypesBrian T. Howard. 102-109
- A New Look to Pattern Matching in Abstract Data TypesPedro Palao-Gostanza, Ricardo Pena, Manuel Núñez. 110-121
- Simplifying Subtyping ConstraintsFrançois Pottier. 122-133
- The Semantics of Scheme with FutureLuc Moreau. 146-156
- First-Class Synchronization BarriersFranklyn A. Turbak. 157-168
- pHluid: The Design of a Parallel Functional Language Implementation on WorkstationsCormac Flanagan, Rishiyur S. Nikhil. 169-179
- Cogen in Six LinesPeter Thiemann. 180-189
- A Probabilistic Approach to the Problem of Automatic Selection of Data RepresentationsTyng-Ruey Chuang, Wen L. Hwang. 190-200
- A Theory of Weak Bisimulation for Core CMLWilliam Ferreira, Matthew Hennessy, Alan Jeffrey. 201-212
- A Provable Time and Space Efficient Implementation of NESLGuy E. Blelloch, John Greiner. 213-225
- Synchronous Kahn NetworksPaul Caspi, Marc Pouzet. 226-238
- Enriching the Lambda Calculus with Contexts: Toward a Theory of Incremental Program ConstructionShinn-Der Lee, Daniel P. Friedman. 239-250
- Sharing Code through First-class EnvironmentsChristian Queinnec, David De Roure. 251-261
- Mixin ModulesDominic Duggan, Constantinos Sourelis. 262-273