Abstract is missing.
- Experience with a Large Scientific Application in a Functional LanguageR. L. Page, B. D. Moe. 3-11
- Some Issues in a Functional Implementation of a Finite Element AlgorithmPhilip W. Grant, J. A. Sharp, Michael F. Webster, X. Zhang. 12-17
- Type Inclusion Constraints and Type InferenceAlexander Aiken, Edward L. Wimmers. 31-41
- Conjunctive SubtypingDavid J. Lillie. 42-51
- A System of Constructor Classes: Overloading and Implicit Higher-Order PolymorphismMark P. Jones. 52-64
- Compiler-directed Type Reconstruction for Polymorphic LanguagesShail Aditya, Alejandro Caro. 74-82
- Precedences for ConctypesAnnika Aasa. 83-94
- Experiences with Compiler-Directed Storage ReclamationJ. Hicks. 95-105
- Generational Garbage Collection for HaskellPatrick M. Sansom, Simon L. Peyton Jones. 106-116
- Fixing Some Space Leaks without a Garbage CollectorJan Sparud. 117-124
- Sound Rules for Parallel Evaluation of a Functional Language with callccLuc Moreau, Daniel Ribbens. 125-135
- An Operational Semantics for I/O in a Lazy Functional LanguageAndrew D. Gordon. 136-145
- Delimiting the Scope of EffectsJon G. Riecke. 146-158
- Generation and Quantitative Evaluation of Dataflow ClustersLucas Roh, Walid A. Najjar, A. P. Wim Böhm. 159-168
- Efficient Implementation of Sequential Loops in Dataflow ComputationBoon Seong Ang. 169-178
- Polling Efficiently on Stock HardwareMarc Feeley. 179-190
- On the Relation between Functional and Data Parallel Programming LanguagesP. Hammarlund, Björn Lisper. 210-222
- A Short Cut to DeforestationAndrew J. Gill, John Launchbury, Simon L. Peyton Jones. 223-232
- A Fold for All SeasonsTim Sheard, Leonidas Fegaras. 233-242
- Optimal Reduction in Weak-Lambda-calculus with Shared EnvironmentsN. Yoshida. 243-254
- Order-of-evaluation Analysis for Destructive Updates in Strict Functional Languages with Flat AggregatesA. V. S. Sastry, William D. Clinger, Zena M. Ariola. 266-275
- From Operational Definitions to Abstract SemanticsS. Purushothaman, Jill Seaman. 276-288
- Real-Time Deques, Multihead Thring Machines, and Purely Functional ProgrammingTyng-Ruey Chuang, Benjamin Goldberg. 289-298
- Parallel Implementation of BagsHerbert Kuchen, Katia Gladitz. 299-307
- Compiling Actions by Partial EvaluationAnders Bondorf, Jens Palsberg. 308-320
- FUDGETS: A Graphical User Interface in a Lazy Functional LanguageMats Carlsson, Thomas Hallgren. 321-330
- Assessing the Evaluation Transformer Model of Reduction on the Spineless G-machineSigbjorn Finne, Geoffrey L. Burn. 331-340
- Benchmarking Implementations of Lazy Functional LanguagesPieter H. Hartel, Koen Langendoen. 341-349