A Gentle Introduction to ML
by Andrew Cumming
Publisher: Napier University 1998
Functional languages such as ML, Hope and Lisp allow us to develop programs which will submit logical analysis relatively easily. Using a functional language we can make assertions about programs and prove these assertions to be correct.
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 Axel Rauschmayer - ReasonML Hub
by Mikael Vejdemo-Johansson - University of St. Andrews
An introduction to category theory that ties into Haskell and functional programming as a source of applications. Topics: definition of categories, special objects and morphisms, functors, natural transformation, (co-)limits and special cases, etc.