Real World Functional Programming
by Tomas Petricek, Jon Skeet, Yin Zhu
Publisher: Manning Publications 2010
Number of pages: 500
Real World Functional Programming is a unique tutorial that explores the functional programming model through the F# and C# languages. The clearly presented ideas and examples teach readers how functional programming differs from other approaches.
Home page url
Download or read it online for free here:
by Mark Tarver - Upfront Publishing
The book is both a comprehensive introduction to Qi and to functional programming. It covers foundational material and is suitable for an undergraduate introduction to functional programming. It also explores the theoretical foundations of Qi.
by Chris Okasaki - Carnegie Mellon University
This book describes data structures from the point of view of functional languages. The author includes both classical data structures, such as red-black trees, and a host of new data structures developed exclusively for functional languages.
by Adam Chlipala
The purpose of this book is to convince people who write software that the technology of program verification is mature enough today that it makes sense to use it in a support role in many kinds of research projects in computer science.