Functional Programming

Proceedings of the 1989 Glasgow Workshop 21–23 August 1989, Fraserburgh, Scotland

  • Kei Davis
  • John Hughes
Conference proceedings

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

Table of contents

  1. Front Matter
    Pages i-viii
  2. Simon B. Jones, Daniel Le Metayer
    Pages 1-11
  3. Kei Davis, Philip Wadler
    Pages 12-30
  4. Gebreselassie Baraki, John Hughes
    Pages 31-40
  5. A. B. Ferguson, R. J. M. Hughes
    Pages 41-55
  6. Jean-Pierre Banâtre, Daniel Le Métayer
    Pages 103-117
  7. A. C. Reeves, C. Rattray
    Pages 118-132
  8. Colin Runciman, Mike Firth, Nigel Jagger
    Pages 133-141
  9. L. McLoughlin, E. S. Hayes
    Pages 157-169
  10. Alastair Reid
    Pages 170-181
  11. Mary Sheeran
    Pages 182-205
  12. Stephen Blott
    Pages 254-264
  13. K. Hammond, S. Blott
    Pages 265-286
  14. Stuart Cox, Hugh Glaser
    Pages 287-295
  15. Iain B. Robertson
    Pages 296-307
  16. John Hughes, John O’Donnell
    Pages 308-328
  17. John M. Kewley, Kevin Glynn
    Pages 329-337
  18. Graham Hutton
    Pages 353-370
  19. A. C. Reeves, D. A. Harrison, A. F. Sinclair, P. Williamson
    Pages 371-390
  20. Back Matter
    Pages 411-411

About these proceedings


Functional Programming is a relatively new area of computer science. These proceedings contain 25 papers representing an excellent snapshot of the current state of functional programming and are written by the leading computer scientists in this aera. In some universities, a functional programming language is used as the introductory teaching language and computer architectures are being designed and investigated to support functional languages.


Ruby algorithm algorithms complexity computer science data structure data structures design development functional programming language programming programming language software software development

Editors and affiliations

  • Kei Davis
    • 1
  • John Hughes
    • 1
  1. 1.Department of Computing ScienceUniversity of GlasgowGlasgowScotland

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag London 1990
  • Publisher Name Springer, London
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-19609-9
  • Online ISBN 978-1-4471-3166-3
  • Series Print ISSN 1431-1682
  • Buy this book on publisher's site