Functional Programming and Parallel Graph Rewriting
by Rinus Plasmeijer, Marko van Eekelen
Publisher: Addison-Wesley 1993
Number of pages: 592
This is 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. The book presents the features of functional programming languages, using Miranda as an example language. It focuses on an alternative computational model - Graph Rewriting Systems.
Home page url
Download or read it online for free here:
(multiple PS files)
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.
by Robert Harper - Carnegie Mellon University
Introduction to programming with the Standard ML - a formally defined programming language. The text covers the core language, declarations, functions, products and records, recursive functions, type inference and polymorphism, lists, and more.
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.