Functional Programming, Glasgow 1993

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

  • John T. O’Donnell
  • Kevin Hammond

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

Table of contents

  1. Front Matter
    Pages i-viii
  2. Alexander Bunkenburg
    Pages 1-8
  3. Roy L. Crole, Andrew D. Gordon
    Pages 9-25
  4. Cordelia V. Hall
    Pages 43-57
  5. K. Hammond, G. L. Burn, D. B. Howe
    Pages 58-68
  6. Jonathan M. D. Hill
    Pages 83-99
  7. Ian Holyer, David Carter
    Pages 113-126
  8. Denis B. Howe, Geoffrey L. Burn
    Pages 127-137
  9. James S. Mattson Jr., William G. Griswold
    Pages 185-192
  10. John T. O’Donnell
    Pages 193-200
  11. Simon Peyton Jones, Will Partain
    Pages 201-221
  12. Alastair Reid, Satnam Singh
    Pages 222-235
  13. Colin Runciman, David Wakeling
    Pages 236-251
  14. Patrick M. Sansom
    Pages 252-264
  15. Duncan C. Sinclair
    Pages 280-286
  16. Back Matter
    Pages 287-289

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.


algorithm algorithms calculus concurrency functional programming programming semantics

Editors and affiliations

  • John T. O’Donnell
    • 1
  • Kevin Hammond
    • 1
  1. 1.Department of Computing ScienceThe UniversityGlasgowScotland

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag London 1994
  • Publisher Name Springer, London
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-19879-6
  • Online ISBN 978-1-4471-3236-3
  • Series Print ISSN 1431-1682
  • Buy this book on publisher's site
Industry Sectors
Finance, Business & Banking
IT & Software
Energy, Utilities & Environment