Cart
Free US shipping over $10
Proud to be B-Corp

Functional Programming, Glasgow 1994 Kevin Hammond

Functional Programming, Glasgow 1994 By Kevin Hammond

Functional Programming, Glasgow 1994 by Kevin Hammond


$135.79
Condition - New
Only 2 left

Summary

The purpose of the workshop is to provide a focus for new research, to foster research contacts with other functional language researchers, and to provide a platform for research students to develop their presentation skills.

Functional Programming, Glasgow 1994 Summary

Functional Programming, Glasgow 1994: Proceedings of the 1994 Glasgow Workshop on Functional Programming, Ayr, Scotland, 12-14 September 1994 by Kevin Hammond

This is the proceedings of the seventh annual workshop held by the Glasgow Functional Programming Group. The purpose of the workshop is to provide a focus for new research, to foster research contacts with other functional language researchers, and to provide a platform for research students to develop their presentation skills. As in previous years, we spent three days closeted together in a pleasant seaside town, isolated from normal work commitments. We were joined by colleagues from other universities (both UK and abroad) and from industry. Workshop participants presented a short talk about their current research work, and produced a paper which appeared in a draft proceedings. These papers were then reviewed and revised in the light of discussions at the workshop and the referees' comments. A selection of those revised papers (the majority of those presented at the workshop) appears here in the published proceedings. The papers themselves cover a wide span, from theoretical work on algebras and bisimilarity to experience with a real-world medical applica tion. Unsurprisingly, given Glasgow's track record, there is a strong emphasis on compilation techniques and optimisations, and there are also several papers on concurrency and parallelism.

Table of Contents

Expression Refinement: Deriving Bresenham's Algorithm.- Dynamic Algebra for Calculating Algorithms.- On the Expressive Power of Constructor Classes.- Programming Reactive Systems in Haskell.- Techniques for Simplifying the Visualization of Graph Reduction.- A Tutorial on Co-Induction and Functional Programming.- Unboxing Using Specialisation.- Improving Granularity in Parallel Functional Programs: A Graphical Winnowing System for Haskell.- Fold-Unfold Transformations on State Monadic Interpreters.- Functional Binomial Queues.- Mechanized Reasoning About Functional Programs.- A Case Study in Parallel Program Derivation: The Heat Equation Algorithm.- Compilation by Transformation in the Glasgow Haskell Compiler.- Experience of Developing a Cervical Cytology Scanning System Using Gofer and Haskell.- Binding-Time Improvement and Fold-Unfold Transformation.- Data Dependent Concurrency Control.- Type-Checked Message-Passing Between Functional Processes.- Author Index.

Additional information

NLS9783540199144
9783540199144
3540199144
Functional Programming, Glasgow 1994: Proceedings of the 1994 Glasgow Workshop on Functional Programming, Ayr, Scotland, 12-14 September 1994 by Kevin Hammond
New
Paperback
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
1995-03-21
254
N/A
Book picture is for illustrative purposes only, actual binding, cover or edition may vary.
This is a new book - be the first to read this copy. With untouched pages and a perfect binding, your brand new copy is ready to be opened for the first time

Customer Reviews - Functional Programming, Glasgow 1994