Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 1990

Functional Programming

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

Editors:

  1. Kei Davis

    1. Department of Computing Science, University of Glasgow, Glasgow, Scotland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. John Hughes

    1. Department of Computing Science, University of Glasgow, Glasgow, Scotland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Sections

Buy it now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (26 papers)

  1. Front Matter

    Pages i-viii
    PDF

  2. A New Method for Strictness Analysis on Non-Flat Domains

    • Simon B. Jones, Daniel Le Metayer
    Pages 1-11

  3. Backwards Strictness Analysis: Proved and Improved

    • Kei Davis, Philip Wadler
    Pages 12-30

  4. Abstract Interpretation of Polymorphic Functions

    • Gebreselassie Baraki, John Hughes
    Pages 31-40

  5. An Iterative Powerdomain Construction

    • A. B. Ferguson, R. J. M. Hughes
    Pages 41-55

  8. Chemical Reaction as a Computational Model

    • Jean-Pierre Banâtre, Daniel Le Métayer
    Pages 103-117

  9. Sketching a Constructive Definition of ‘mix’

    • A. C. Reeves, C. Rattray
    Pages 118-132

  10. Transformation in a Non-Strict Language: An Approach to Instantiation

    • Colin Runciman, Mike Firth, Nigel Jagger
    Pages 133-141

  12. Imperative Effects from a Pure Functional Language

    • L. McLoughlin, E. S. Hayes
    Pages 157-169

  13. Designing Data Structures

    • Alastair Reid
    Pages 170-181

  14. Describing Butterfly Networks in Ruby

    • Mary Sheeran
    Pages 182-205

  18. Type inference and type classes

    • Stephen Blott
    Pages 254-264

  19. Implementing Haskell Type Classes

    • K. Hammond, S. Blott
    Pages 265-286

  20. Implementing Functional Languages on the Transputer

    • Stuart Cox, Hugh Glaser
    Pages 287-295
Back to top

About this book

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.
Back to top

Keywords

Back to top

Editors and Affiliations

  • Department of Computing Science, University of Glasgow, Glasgow, Scotland

    Kei Davis, John Hughes

Back to top

Bibliographic Information

  • Book Title: Functional Programming

  • Book Subtitle: Proceedings of the 1989 Glasgow Workshop 21–23 August 1989, Fraserburgh, Scotland

  • Editors: Kei Davis, John Hughes

  • Series Title: Workshops in Computing

  • DOI: https://doi.org/10.1007/978-1-4471-3166-3

  • Publisher: Springer London

  • eBook Packages: Springer Book Archive

  • Copyright Information: British Computer Society 1990

  • Softcover ISBN: 978-3-540-19609-9Published: 29 August 1990

  • eBook ISBN: 978-1-4471-3166-3Published: 06 December 2012

  • Series ISSN: 1431-1682

  • Edition Number: 1

  • Number of Pages: VIII, 411

  • Number of Illustrations: 1 b/w illustrations

  • Additional Information: Published in collaboration with the British Computer Society

  • Topics: Software Engineering, Programming Techniques

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Search

Navigation