PxPixel
+612 9045 4394
 
CHECKOUT
$7.95 Delivery per order to Australia and New Zealand
100% Australian owned
Over a hundred thousand in-stock titles ready to ship
Functional Programming, Glasgow 1994 : Proceedings of the 1994 Glasgow Workshop on Functional Programming, Ayr, Scotland, 12-14 September 1994 : Workshops in Computing - Kevin Hammond

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

Workshops in Computing

By: Kevin Hammond (Editor), David N. Turner (Editor), Patrick M. Sansom (Editor)

Hardcover ISBN: 9783540199144
Number Of Pages: 254

Share This Book:

Hardcover

$204.16
or 4 easy payments of $51.04 with Learn more
Ships in 15 business days

Earn 408 Qantas Points
on this Book

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.

List of Contributors
Expression Refinement: Deriving Bresenham's Algorithmp. 1
Dynamic Algebra for Calculating Algorithmsp. 18
On the Expressive Power of Constructor Classesp. 29
Programming Reactive Systems in Haskellp. 50
Techniques for Simplifying the Visualization of Graph Reductionp. 66
A Tutorial on Co-Induction and Functional Programmingp. 78
Unboxing Using Specialisationp. 96
Improving Granularity in Parallel Functional Programs: A Graphical Winnowing System for Haskellp. 111
Fold-Unfold Transformations on State Monadic Interpretersp. 127
Functional Binomial Queuesp. 141
Mechanized Reasoning About Functional Programsp. 151
A Case Study in Parallel Program Derivation: The Heat Equation Algorithmp. 167
Compilation by Transformation in the Glasgow Haskell Compilerp. 184
Experience of Developing a Cervical Cytology Scanning System Using Gofer and Haskellp. 205
Binding-Time Improvement and Fold-Unfold Transformationp. 218
Data Dependent Concurrency Controlp. 231
Type-Checked Message-Passing Between Functional Processesp. 245
Author Indexp. 255
Table of Contents provided by Blackwell. All Rights Reserved.

ISBN: 9783540199144
ISBN-10: 3540199144
Series: Workshops in Computing
Audience: General
Format: Hardcover
Language: English
Number Of Pages: 254
Publisher: Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
Country of Publication: DE
Dimensions (cm): 23.39 x 15.6  x 1.42
Weight (kg): 0.38

Earn 408 Qantas Points
on this Book