Description: Functional Programming, Glasgow 1994 by Kevin Hammond, David N. Turner, Patrick M. Sansom 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. FORMAT Paperback LANGUAGE English CONDITION Brand New Publisher Description The Glasgow Functional Programming Group is the largest research centre of its kind in the UK, and its work has attained international recognition. This volume contains papers presented at the seventh workshop, which was held in Ayr, Scotland, from 12-14 September 1994. The papers include new research results, ranging from theoretical work in bisimilarity and computer algebra to practical work on a cervical smear scanning system written in a purely functional language. A significant number of papers also cover concurrency, parallelism, and compilation techniques for functional languages. Table of Contents Expression Refinement: Deriving Bresenhams 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. Promotional Springer Book Archives Long Description 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 Details ISBN3540199144 Publisher Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Series Workshops in Computing Year 1995 ISBN-10 3540199144 ISBN-13 9783540199144 Format Paperback Imprint Springer-Verlag Berlin and Heidelberg GmbH & Co. K Place of Publication Berlin Country of Publication Germany Edited by Patrick M. Sansom Short Title FUNCTIONAL PROGRAMMING GLASGOW Language English Media Book Edition Description Edition. Publication Date 1995-03-21 Pages 254 DEWEY 005.1 Illustrations XIV, 254 p. DOI 10.1604/9783540199144;10.1007/978-1-4471-3573-9 Author Patrick M. Sansom Subtitle Proceedings of the 1994 Glasgow Workshop on Functional Programming, Ayr, Scotland, 12–14 September 1994 Audience Professional & Vocational We've got this At The Nile, if you're looking for it, we've got it. With fast shipping, low prices, friendly service and well over a million items - you're bound to find what you want, at a price you'll love! TheNile_Item_ID:96396889;
Price: 217.11 AUD
Location: Melbourne
End Time: 2025-01-05T11:30:20.000Z
Shipping Cost: 9.4 AUD
Product Images
Item Specifics
Restocking fee: No
Return shipping will be paid by: Buyer
Returns Accepted: Returns Accepted
Item must be returned within: 30 Days
ISBN-13: 9783540199144
Book Title: Functional Programming, Glasgow 1994
Number of Pages: 254 Pages
Language: English
Publication Name: Functional Programming, Glasgow 1994: Proceedings of the 1994 Glasgow Workshop on Functional Programming, Ayr, Scotland, 12-14 September 1994
Publisher: Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
Publication Year: 1995
Subject: Computer Science
Item Height: 235 mm
Item Weight: 425 g
Type: Textbook
Author: Kevin Hammond, David N. Turner, Patrick M. Sansom
Item Width: 155 mm
Format: Paperback
