Skip to main content
SpringerLink
Log in
Book cover

Functional Programming, Glasgow 1994

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

  • Conference proceedings
  • © 1995

Overview

Editors:
  1. Kevin Hammond

    1. Department of Computing Science, Glasgow University, Glasgow, Scotland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. David N. Turner

    1. Department of Computing Science, Glasgow University, Glasgow, Scotland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Patrick M. Sansom

    1. Department of Computing Science, Glasgow University, Glasgow, Scotland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Workshops in Computing (WORKSHOPS COMP.)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (17 papers)

  1. Front Matter

    Pages i-x
    Download chapter PDF

  2. Expression Refinement: Deriving Bresenham’s Algorithm

    • Alexander Bunkenburg, Sharon Flynn
    Pages 1-17

  3. Dynamic Algebra for Calculating Algorithms

    • Kieran Clenaghan
    Pages 18-28

  4. On the expressive power of Constructor Classes

    • Luc Duponcheel, Erik Meijer
    Pages 29-49

  5. Programming Reactive Systems in Haskell

    • Sigbjørn Finne, Simon Peyton Jones
    Pages 50-65

  6. Techniques for Simplifying the Visualization of Graph Reduction

    • Sandra P. Foubister, Colin Runciman
    Pages 66-77

  7. A Tutorial on Co-induction and Functional Programming

    • Andrew D. Gordon
    Pages 78-95

  8. Unboxing using Specialisation

    • Cordelia Hall, Simon L. Peyton Jones, Patrick M. Sansom
    Pages 96-110

  9. Improving Granularity in Parallel Functional Programs: A Graphical Winnowing System for Haskell

    • Kevin Hammond, Hans Wolfgang Loidl, Andrew Partridge
    Pages 111-126

  10. Fold-Unfold Transformations on State Monadic Interpreters

    • Thomas Johnsson
    Pages 127-140

  11. Functional Binomial Queues

    • David J. King
    Pages 141-150

  12. Mechanized Reasoning about Functional Programs

    • Sava Mintchev
    Pages 151-166

  13. A Case Study in Parallel Program Derivation: the Heat Equation Algorithm

    • John O’Donnell, Gudula Rünger
    Pages 167-183

  14. Compilation by Transformation in the Glasgow Haskell Compiler

    • Simon Peyton Jones, André Santos
    Pages 184-204

  15. Experience of developing a cervical cytology scanning system using Gofer and Haskell

    • Ian Poole, Derek Charleston
    Pages 205-217

  16. Binding-time Improvement and Fold/Unfold Transformation

    • Colin Runciman
    Pages 218-230

  17. Data Dependent Concurrency Control

    • Phil Trinder
    Pages 231-244

  18. Type-Checked Message-Passing between Functional Processes

    • Malcolm Wallace, Colin Runciman
    Pages 245-254

  19. Back Matter

    Pages 255-257
    Download chapter PDF
Back to top

Keywords

About this book

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.

Editors and Affiliations

  • Department of Computing Science, Glasgow University, Glasgow, Scotland

    Kevin Hammond, David N. Turner, Patrick M. Sansom

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation