The Conception, Evolution, and Application of Functional Programming Languages
by Paul Hudak
Publisher: Yale University 1989
Number of pages: 87
The foundations of functional programming languages are examined from both historical and technical perspectives. Their evolution is traced through several critical periods. Particular attention is paid to the main features that characterize modern functional languages.
Download or read it online for free here:
by Andrew Cumming - Napier University
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.
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.
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 Dr. Robert Richard Hoogerwoord - Technische Universiteit Eindhoven
This document was started as a research to what extent functional programs can be designed in a calculational way. This should be possible because functional-program notations carry less operational connotations than their sequential counterparts do.