Functional programming, Glasgow 1994: proceedings of the 1994 Glasgow workshop [1 ed.] 3540199144, 978-3-540-19914-4, 978-1-4471-3573-9

Table of contents :
Front Matter....Pages i-x
Expression Refinement: Deriving Bresenham’s Algorithm....Pages 1-17
Dynamic Algebra for Calculating Algorithms....Pages 18-28
On the expressive power of Constructor Classes....Pages 29-49
Programming Reactive Systems in Haskell....Pages 50-65
Techniques for Simplifying the Visualization of Graph Reduction....Pages 66-77
A Tutorial on Co-induction and Functional Programming....Pages 78-95
Unboxing using Specialisation....Pages 96-110
Improving Granularity in Parallel Functional Programs: A Graphical Winnowing System for Haskell....Pages 111-126
Fold-Unfold Transformations on State Monadic Interpreters....Pages 127-140
Functional Binomial Queues....Pages 141-150
Mechanized Reasoning about Functional Programs....Pages 151-166
A Case Study in Parallel Program Derivation: the Heat Equation Algorithm....Pages 167-183
Compilation by Transformation in the Glasgow Haskell Compiler....Pages 184-204
Experience of developing a cervical cytology scanning system using Gofer and Haskell....Pages 205-217
Binding-time Improvement and Fold/Unfold Transformation....Pages 218-230
Data Dependent Concurrency Control....Pages 231-244
Type-Checked Message-Passing between Functional Processes....Pages 245-254
Back Matter....Pages 255-257

Polecaj historie

Functional Programming, Glasgow 1995: Proceedings of the 1995 Glasgow Workshop on Functional Programming, Ullapool, Scotland, 10-12 July 1995 [1 ed.] 354014580X, 9783540145806

The Glasgow Functional Programming Group is the largest research centre of its kind in the UK, and its work has attained

500 35 980KB Read more

Functional programming ; Glasgow workshop. proceedings ; 5-7 jul 1993 [Softcover reprint of the original 1st ed. 1994] 3540198792, 978-3-540-19879-6, 978-1-4471-3236-3, 0-387-19879-2

The Functional Programming Group at the University of Glasgow was started in 1986 by John Hughes and Mary Sheeran. Since

276 28 3MB Read more

Functional programming, Glasgow 1990: proceedings of the 3rd Glasgow workshop Papers [1 ed.] 3540196676, 978-3-540-19667-9, 9780387196671, 0387196676, 978-1-4471-3810-5, 672-673-660-6

This volume contains the papers presented at the 3rd Glasgow Workshop on Functional Programming which was held in Ullapo

273 89 4MB Read more

World Film Locations: Glasgow : Glasgow [1 ed.] 9781841507460, 9781841507194

World Film Locations: Glasgow explores Scotland’s biggest city and the many locations in which its films are viewed, set

199 22 6MB Read more

The Cultural Memory of Georgian Glasgow 9781474443296

The first interdisciplinary exploration of eighteenth-century Glasgow Approaches Glasgow's history as a guide to th

110 85 10MB Read more

The University of Glasgow: 1451-1996 9781474465458

A history of Scotland's second oldest university from its foundation to the present.

205 56 106MB Read more

The Old Farmer's Almanac 1994 [1994 ed.] 0899092586, 9780899092584

The Old Farmer's Almanac 1994 - Old Farmer's Almanac - Robert B. Thomas - 1993.

190 42 29MB Read more

Insight Guides: Great Breaks Glasgow

Great Breaks Glasgow is a compact travel guide that combines snappy text with full-colour photography to highlight the v

451 79 67MB Read more

Functional programming, Glasgow 1992 : proceedings of the 1992 Glasgow Workshop on Functional Programming, Ayr, Scotland, 6-8 July 1992 [Softcover reprint of the original 1st ed. 1993] 3540198202, 978-3-540-19820-8, 9780387198200, 0387198202, 978-1-4471-3215-8, 130-209-240-5

The Glasgow Functional Programming Group is widely recognised for its research in lazy functional languages. Once again

255 64 4MB Read more

Science and Archaeology, Glasgow 1987, Parts i and ii: Proceedings of a conference on the application of scientific techniques to archaeology Glasgow, September 1987 9781407390093, 9781407390109, 9780860545811, 9781407318165

This volume is part of a two volume set: ISBN 9781407390093 (Volume I); ISBN 9781407390109(Volume II); ISBN 978086054581

181 55 383MB Read more