Skip to main content
SpringerLink
Log in
Book cover

Functional Programming, Glasgow 1993

Proceedings of the 1993 Glasgow Workshop on Functional Programming, Ayr, Scotland, 5–7 July 1993

  • Conference proceedings
  • © 1994

Overview

Editors:
  1. John T. O’Donnell

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

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Kevin Hammond

    1. Department of Computing Science, The 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 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.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 (22 papers)

  1. Front Matter

    Pages i-viii
    Download chapter PDF

  2. The Boom Hierarchy

    • Alexander Bunkenburg
    Pages 1-8

  3. Factoring an Adequacy Proof (Preliminary Report)

    • Roy L. Crole, Andrew D. Gordon
    Pages 9-25

  4. Projection-based Termination Analysis

    • Kei Davis
    Pages 26-42

  5. A framework for optimising abstract data types

    • Cordelia V. Hall
    Pages 43-57

  6. Spiking Your Caches

    • K. Hammond, G. L. Burn, D. B. Howe
    Pages 58-68

  7. Experiments with destructive updates in a lazy functional language (extended abstract)

    • Pieter H. Hartel, Willem G. Vree
    Pages 69-82

  8. The aim is laziness in a data-parallel language

    • Jonathan M. D. Hill
    Pages 83-99

  9. On the Comparative Evaluation of Parallel Languages and Systems: A Functional Note

    • Robert E. Hiromoto
    Pages 100-112

  10. Deterministic Concurrency

    • Ian Holyer, David Carter
    Pages 113-126

  11. Using Strictness in the STG Machine

    • Denis B. Howe, Geoffrey L. Burn
    Pages 127-137

  12. The Implementer’s Dilemma: A Mathematical Model of Compile Time Garbage Collection

    • Simon B. Jones, Andrew S. Tyas
    Pages 138-144

  13. Functional Graph Algorithms with Depth-First Search (Preliminary Summary)

    • David J. King, John Launchbury
    Pages 145-155

  14. Distributed Garbage Collection of Cyclic Structures

    • David Lester
    Pages 156-169

  15. Update Avoidance Analysis by Abstract Interpretation

    • Simon Marlow
    Pages 170-184

  16. Local Speculative Evaluation for Distributed Graph Reduction

    • James S. Mattson Jr., William G. Griswold
    Pages 185-192

  17. Bidirectional Fold and Scan

    • John T. O’Donnell
    Pages 193-200

  18. Measuring the effectiveness of a simple strictness analyser

    • Simon Peyton Jones, Will Partain
    Pages 201-221

  19. Implementing Fudgets with Standard Widget Sets

    • Alastair Reid, Satnam Singh
    Pages 222-235

  20. Profiling Parallel Functional Computations (Without Parallel Machines)

    • Colin Runciman, David Wakeling
    Pages 236-251
Back to top

Keywords

About this book

The Functional Programming Group at the University of Glasgow was started in 1986 by John Hughes and Mary Sheeran. Since then it has grown in size and strength, becoming one of the largest computing science research groups at Glasgow and earning an international reputation. The first Glasgow Functional Programming Workshop was organised in the summer of 1988. Its purpose was threefold: to provide a snapshot of all the research going on within the group, to share research ideas between Glaswegians and colleagues in the U.K. and abroad, and to introduce research students to the art of writing and presenting papers at a semi-formal (but still local and friendly) conference. The success of the first workshop has led to an annual series: Rothesay (1988), Fraserburgh (1989), Ullapool (1990). Portree (1991), Ayr (1992), and the workshop reported in these proceedings: Ayr (1993). Most participants wrote a paper that appeared in the draft proceedings (distributed at the workshop), and each draft paper was presented by one of the authors. The papers were all refereed by several other participants at the workshop, both internal and external, and the programme committee selected papers for these proceedings. Most papers have been revised twice, based firstly on feedback at the workshop, and secondly using the referee reports.

Editors and Affiliations

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

    John T. O’Donnell, Kevin Hammond

Bibliographic Information

  • Book Title: Functional Programming, Glasgow 1993

  • Book Subtitle: Proceedings of the 1993 Glasgow Workshop on Functional Programming, Ayr, Scotland, 5–7 July 1993

  • Editors: John T. O’Donnell, Kevin Hammond

  • Series Title: Workshops in Computing

  • DOI: https://doi.org/10.1007/978-1-4471-3236-3

  • Publisher: Springer London

  • eBook Packages: Springer Book Archive

  • Copyright Information: British Computer Society 1994

  • Softcover ISBN: 978-3-540-19879-6Published: 16 June 1994

  • eBook ISBN: 978-1-4471-3236-3Published: 06 December 2012

  • Series ISSN: 1431-1682

  • Edition Number: 1

  • Number of Pages: VIII, 287

  • Number of Illustrations: 8 b/w illustrations

  • Additional Information: Published in collaboration with the British Computer Society

  • Topics: Programming Techniques

Publish with us

Policies and ethics

Back to top

Search

Navigation