Introduction to Functional Programming Systems Using Haskell

Introduction to Functional Programming Systems Using Haskell

by Antony J. T. Davie, Antony J. Davie, A. J. Davie
     
 

ISBN-10: 0521277248

ISBN-13: 9780521277242

Pub. Date: 06/28/1992

Publisher: Cambridge University Press

Functional programming, is a style of programming that has become increasingly popular during the past few years. Applicative programs have the advantage of being almost immediately expressible as functional descriptions; they can be proved correct and transformed through the referential transparency property. This book presents the basic concepts of functional

…  See more details below

Overview

Functional programming, is a style of programming that has become increasingly popular during the past few years. Applicative programs have the advantage of being almost immediately expressible as functional descriptions; they can be proved correct and transformed through the referential transparency property. This book presents the basic concepts of functional programming, using the language HASKELL for examples. The author incorporates a discussion of lambda calculus and its relationship with HASKELL, exploring the implications for parallelism.

Product Details

ISBN-13:
9780521277242
Publisher:
Cambridge University Press
Publication date:
06/28/1992
Series:
Cambridge Computer Science Texts Series, #27
Edition description:
New Edition
Pages:
304
Product dimensions:
5.98(w) x 8.98(h) x 0.67(d)

Table of Contents

1. Introduction; 2. Introduction to functional programs; 3. Techniques and methods; 4. Types; 5. Lambda calculus; 6. Applicative implementation; 7. Lazy evaluation; 8. Implementation of lazy evaluation; 9. Correctness; 10. Applicative program transformation; 11. Parallel evaluation; Bibliography; Appendices; Index.

Customer Reviews

Average Review:

Write a Review

and post it to your social network

     

Most Helpful Customer Reviews

See all customer reviews >