Skip to main content
SpringerLink
Log in

Functional Programming

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

  • Conference proceedings
  • © 1990

Overview

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.)

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

Access this book

Log in via an institution
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

Licence this eBook for your library

Institutional subscriptions

Table of contents (26 papers)

  1. Front Matter

    Pages i-viii
    Download chapter 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

  6. Complexity Analysis for a Lazy Higher-Order Language

    • David Sands
    Pages 56-79

  7. Deriving the fast Fourier algorithm by calculation

    • Geraint Jones
    Pages 80-102

  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

  11. Referentially Transparent Database Languages

    • Phil Trinder
    Pages 142-156

  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

  15. Implementation of a Non-Standard Interpretation System

    • Satnam Singh
    Pages 206-224

  16. Simulating Multiprocessor Architectures for Compiled Graph-Reduction

    • J. M. Deschner
    Pages 225-237

  17. Dependent Sums Express Separation of Binding Times

    • John Launchbury
    Pages 238-253

  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

Keywords

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.

Editors and Affiliations

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

    Kei Davis, John Hughes

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

Publish with us

Policies and ethics

Back to top

Search

Navigation