Functional Programming, Glasgow 1994

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

  • Kevin Hammond
  • David N. Turner
  • Patrick M. Sansom
Conference proceedings

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

Table of contents

  1. Front Matter
    Pages i-x
  2. Alexander Bunkenburg, Sharon Flynn
    Pages 1-17
  3. Kieran Clenaghan
    Pages 18-28
  4. Luc Duponcheel, Erik Meijer
    Pages 29-49
  5. Sigbjørn Finne, Simon Peyton Jones
    Pages 50-65
  6. Sandra P. Foubister, Colin Runciman
    Pages 66-77
  7. Cordelia Hall, Simon L. Peyton Jones, Patrick M. Sansom
    Pages 96-110
  8. Kevin Hammond, Hans Wolfgang Loidl, Andrew Partridge
    Pages 111-126
  9. David J. King
    Pages 141-150
  10. John O’Donnell, Gudula Rünger
    Pages 167-183
  11. Simon Peyton Jones, André Santos
    Pages 184-204
  12. Phil Trinder
    Pages 231-244
  13. Malcolm Wallace, Colin Runciman
    Pages 245-254
  14. Back Matter
    Pages 255-257

About these proceedings


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.


Haskell algorithm algorithms compiler concurrency functional programming language parallelism programming

Editors and affiliations

  • Kevin Hammond
    • 1
  • David N. Turner
    • 1
  • Patrick M. Sansom
    • 1
  1. 1.Department of Computing ScienceGlasgow UniversityGlasgowScotland

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag London 1995
  • Publisher Name Springer, London
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-19914-4
  • Online ISBN 978-1-4471-3573-9
  • Series Print ISSN 1431-1682
  • Buy this book on publisher's site
Industry Sectors
IT & Software