Research Catalog

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

Title
Functional programming, Glasgow 1994 : proceedings of the 1994 Glasgow Workshop on Functional Programming, Ayr, Scotland, 12-14 September 1994 / Kevin Hammond, David N. Turner, and Patrick M. Sansom.
Author
Glasgow Workshop on Functional Programming (1994 : Ayr, Scotland)
Publication
London ; New York : Springer-Verlag, 1995.

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
Request for On-site UseRequest Scan
How do I pick up this item and when will it be ready?
TextRequest in advance QA76.62 .G58 1995Off-site

Details

Additional Authors
  • Hammond, Kevin.
  • Turner, David N. (David Neil), 1969-
  • Sansom, Patrick.
  • British Computer Society.
Description
x, 254 pages : illustrations; 24 cm.
Series Statement
Workshops in computing
Uniform Title
Workshops in computing.
Subject
Note
  • "Published in collaboration with the British Computer Society."
Bibliography (note)
  • Includes bibliographical references and index.
Contents
  • Expression Refinement: Deriving Bresenham's Algorithm / A. Bunkenburg and S. Flynn -- Dynamic Algebra for Calculating Algorithms / K. Clenaghan -- On the Expressive Power of Constructor Classes / L. Duponcheel and E. Meijer -- Programming Reactive Systems in Haskell / S. O. Finne and S. L. Peyton Jones -- Techniques for Simplifying the Visualization of Graph Reduction / S. P. Foubister and C. Runciman -- A Tutorial on Co-Induction and Functional Programming / A. D. Gordon -- Unboxing Using Specialisation / C. V. Hall, S. L. Peyton Jones and P. M. Sansom -- Improving Granularity in Parallel Functional Programs: A Graphical Winnowing System for Haskell / K. Hammond, H. W. Loidl and A. Partridge -- Fold-Unfold Transformations on State Monadic Interpreters / T. Johnsson -- Functional Binomial Queues / D. J. King -- Mechanized Reasoning About Functional Programs / S. Mintchev -- A Case Study in Parallel Program Derivation: The Heat Equation Algorithm / J. T. O'Donnell and G. Runger --
  • Compilation by Transformation in the Glasgow Haskell Compiler / S. L. Peyton Jones and A. Santos -- Experience of Developing a Cervical Cytology Scanning System Using Gofer and Haskell / I. Poole and D. Charleston -- Binding-Time Improvement and Fold-Unfold Transformation / C. Runciman -- Data Dependent Concurrency Control / P. W. Trinder -- Type-Checked Message-Passing Between Functional Processes / M. Wallace and C. Runciman.
ISBN
3540199144
LCCN
94044476
OCLC
  • 31709254
  • ocm31709254
Owning Institutions
Columbia University Libraries