Programming in Standard ML
by Robert Harper
Publisher: Carnegie Mellon University 2011
Number of pages: 297
This book is an introduction to programming with the Standard ML programming language. It began life as a set of lecture notes for Computer Science 15–212: Principles of Programming, the second semester of the introductory sequence in the undergraduate computer science curriculum at Carnegie Mellon University. It has subsequently been used in many other courses at Carnegie Mellon, and at a number of universities around the world.
Home page url
Download or read it online for free here:
by Tomas Petricek, Jon Skeet, Yin Zhu - Manning Publications
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.
by Rinus Plasmeijer, Marko van Eekelen - Addison-Wesley
An introduction to the techniques of functional programming, the associated computational models and the implementation of functional programming languages on both sequential and parallel machines. All the chapters include a summary and exercises.
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.