An Introduction To Functional Programming Systems Using Haskell; Author: Davie, Antony J. T.; Author: Davie, A. J. T.; Paperback

Author: Davie, Antony J. T.; Author: Davie, A. J. T.
Series#:27; Cambridge Computer Science Texts; Paperback
304 pages
Published: June 1992
Cambridge University Press
ISBN: 0521277248

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.This study presents the basic concepts of applicative programming drawing on the language SASL for examples. The author incorporates a discussion of Lambda calculus and its relationship with SASL, as well as exploring the implications for parallelism.