Antony J. T. Davie

An Introduction to Functional Programming Systems Using Haskell

• Broschiertes Buch

Produktbeschreibung

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.

---

Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.

Produktdetails

• Verlag: Cambridge University Press
• Seitenzahl: 304
• Erscheinungstermin: 19. Juni 1992
• Englisch
• Abmessung: 229mm x 152mm x 18mm
• Gewicht: 496g
• ISBN-13: 9780521277242
• ISBN-10: 0521277248
• Artikelnr.: 21463329

Inhaltsangabe

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.