Implementation of Functional Languages: 10th International Workshop, IFL’98 London, UK, September 9–11, 1998 Selected Papers

Claus Aßmann (auth.), Kevin Hammond, Tony Davie, Chris Clack (eds.)3540662294, 9783540662297

This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on the Implementation of Functional Languages, IFL’98, held in London, UK, in September 1998.
The 15 revised full papers presented were carefully selected during two rounds of reviewing. The volume covers a wide range of topics including parallel process organization, parallel profiling, compilation and semantics of parallel systems, programming methodology, interrupt handling, strictness analysis, concurrency and message passing, and inter-language working.

---

Table of contents :
Performance Results for an Implementation of the Process Coordination Language K2 ….Pages 1-19
An Interactive Approach to Profiling Parallel Functional Programs….Pages 20-37
Shared Memory Multiprocessor Support for SAC….Pages 38-53
Towards an Operational Semantics for a Parallel Non-strict Functional Language….Pages 54-71
Concurrent Monadic Interfacing….Pages 72-87
A Strategic Profiler for Glasgow Parallel Haskell….Pages 88-102
Implementing Eden — or: Dreams Become Reality….Pages 103-119
Efficient Combinator Parsers….Pages 120-136
On the Unification of Substitutions in Type Inference….Pages 137-152
Higher Order Demand Propagation….Pages 153-168
Dynamic Types and Type Dependent Functions….Pages 169-185
Putting the Spine Back in the Spineless Tagless G-Machine: An Implementation of Resumable Black-Holes….Pages 186-199
Towards a Haskell/Java Connection….Pages 200-215
A Case Study: Effects of With-Loop-Folding on the NAS Benchmark MG in Sac ….Pages 216-228
Explicit Message Passing for Concurrent Clean….Pages 229-245