Abstract is missing.
- Bypassing of Channels in EdenUlrike Klusik, Ricardo Pena, Clara Segura. 2-10
- From GranSim to ParadiseFelix Hernandez, Ricardo Pena, Fernando Rubio. 11-19
- BSP-based Cost Analysis of Skeletal ProgramsYasushi Hayashi, Murray Cole. 20-28
- High Level BSP Programming: BSML and BSlambdaOlivier Ballereau, Frédéric Loulergue, Gaétan Hains. 29-40
- Deep Type Inference for Mobile FunctionsStephen Gilmore. 41-49
- Generalising Techniques for Type DebuggingBruce J. McAdam. 50-58
- Explaining Type Errors by Finding the Source of a Type ConflictJun Yang. 59-67
- How to Combine the Benefits of Strict and Soft TypingManfred Widera, Christoph Beierle. 68-78
- Interfacing Java with HaskellMark Green, Ali E. Abdallah. 79-88
- An Abstract Machine for Memory ManagementChristopher D. Walton. 89-97
- The MT Architecture and Allocation AlgorithmMarco T. Morazán, Douglas R. Troeger. 98-105
- ZG-machine: a Space-Efficient G-machineGyun Woo, Taisook Han. 106-115
- A Functional Design Framework for Genetic AlgorithmsFethi A. Rabhi, Guy Lapalme, Albert Y. Zomaya. 116-125
- An Industrial use of FP: A Tool for Generating Test Scripts from System SpecificationsPaul Baker, Clive Jervis, David J. King. 126-134
- List Homomorphisms with Accumulation and IndexingWalter Dosch, Bernd Wiedemann. 135-143
- Reuse by Program TransformationRalf Lämmel. 144-153
- An Abstract Machine for Parallel Lazy EvaluationClement A. Baker-Finch. 154-160