Advertisement

Functional Programming, Glasgow 1992

Proceedings of the 1992 Glasgow Workshop on Functional Programming, Ayr, Scotland, 6–8 July 1992

  • John Launchbury
  • Patrick Sansom
Conference proceedings

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

Table of contents

  1. Front Matter
    Pages i-viii
  2. Peter Achten, John van Groningen, Rinus Plasmeijer
    Pages 1-17
  3. Geoffrey Burn
    Pages 30-42
  4. Cordelia Hall, Kevin Hammond, Will Partain, Simon L. Peyton Jones, Philip Wadler
    Pages 62-71
  5. Kevin Hammond, Dave McNally, Patrick M. Sansom, Phil Trinder
    Pages 72-84
  6. John Hughes, A. B. Ferguson
    Pages 85-101
  7. John Hughes, Andrew Moran
    Pages 102-112
  8. Geraint Jones, Mary Sheeran
    Pages 113-121
  9. David J. King, Philip Wadler
    Pages 134-143
  10. John Launchbury, Andy Gill, John Hughes, Simon Marlow, Simon Peyton Jones, Philip Wadler
    Pages 144-153
  11. Simon Marlow, Philip Wadler
    Pages 154-165
  12. Colin Runciman, David Wakeling
    Pages 203-214
  13. Paul Sanders, Colin Runciman
    Pages 215-226
  14. Patrick M. Sansom, Simon L. Peyton Jones
    Pages 227-239
  15. André Santos, Simon L. Peyton Jones
    Pages 240-251
  16. Duncan C. Sinclair
    Pages 252-257
  17. Simon Thompson
    Pages 258-268
  18. Back Matter
    Pages 269-271

About these proceedings

Introduction

The Glasgow Functional Programming Group is widely recognised for its research in lazy functional languages. Once again this year, for the fifth time, we retreated to a Scottish seaside town to discuss our latest work, this time spending three days in Ayr. We were joined by a number of colleagues from other universities and from industry, with whom we have been enjoying fruitful collaboration. The workshop serves the dual purpose of ensuring that the whole group remains informed of each other's work, and of providing workshop experience for research students. Most participants presented a short talk about their work, supplemented by papers which appeared in a draft proceedings distributed at the workshop. Since then the papers have been reviewed and the majority are now published here following revision. The workshop also contained a lively discussion session on functional language applications, to which the industrial participants made very helpful contributions. One interesting feature of this volume is the number of papers addressing practical issues of realistic use of functional languages, from benchmarking and profiling, to user interfaces and file handling. It is perhaps indicative that at last lazy functional languages are being used for significantly larger applications than has been typical in the past. This type of paper is likely to feature prominently in relevant conference proceedings for the next few years. Other papers here continue to address more theoretical topics, such as program logic, semantics of non­ determinism, program analysis, and loop detection.

Keywords

Haskell compiler design formal methods functional programming programming programming language programming languages

Editors and affiliations

  • John Launchbury
    • 1
  • Patrick Sansom
    • 1
  1. 1.Department of Computing ScienceThe UniversityGlasgowScotland

Bibliographic information

  • DOI https://doi.org/10.1007/978-1-4471-3215-8
  • Copyright Information Springer-Verlag London 1993
  • Publisher Name Springer, London
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-19820-8
  • Online ISBN 978-1-4471-3215-8
  • Series Print ISSN 1431-1682
  • Buy this book on publisher's site