Advertisement

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

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

Introduction

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.

Keywords

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 https://doi.org/10.1007/978-1-4471-3573-9
  • 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