Functional Programming, Glasgow 1993

The Glasgow Functional Programming Workshops have been held annually since 1988, and provide an invaluable opportunity for the discussion of unresolved research issues, and for the presentation of current results. This volume is based on the proceedings of the 1993 workshop, which was held in Ayr, Scotland, from 5 - 7 July 1993. The papers cover the spectrum of functional programming research, including implementation, performance, parallelism, algorithms, and semantics. They reflect the current trend towards emphasis on practical issues, and also give several examples of how theoretical research can be successfully applied to practical programming. Among the actual topics covered are: projection-based termination analysis; deterministic concurrency; using strictness in the STG machine; distributed garbage collection of cyclic structures; bidirectional fold and scan; separating interaction; time profiling a lazy functional compiler; and solving recursive domain equations by term rewriting.