Book: Elements of Functional Programming Author: Chris Reade Series: International Computer Science Series Publisher: Addison Wesley Year: 1989 ISBN: 0201129159
Now available as a Pearson Education Print on Demand Edition (2002)
This book uses the programming language ML to introduce functional programming concepts. Although it was written for the SML '90 standard, conversions for the SML '97 standard and library (along with lots of supplementary teaching material) can be found in
ML Workshop .There are also Haskell versions of some of this material used for a course given in Sweden
The book was reviewed in:
Ch 1: Functional Programming Concepts Ch 2: Support for Abstraction Ch 3: Programming with Lists Ch 4: Extended Examples: Pictures and Life Ch 5: New Types (Concrete Types) Ch 6: Extended Example: Command Interpreter Ch 7: Abstract Data Types and Modules Ch 8: Lazy Evaluation Ch 9: Eager Evaluation Ch 10: Denotational Semantics Ch 11: Type Checking and Type Inference Ch 12: The Lambda Calculus and Combinators Ch 13: Implementation Techniques Ch 14: Extending Functional Methods