Functional Programming and Parallel Graph Rewriting
by Rinus Plasmeijer, Marko van Eekelen
Publisher: Addison-Wesley 1993
ISBN/ASIN: 0201416638
ISBN-13: 9780201416633
Number of pages: 592
Description:
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.
Download or read it online for free here:
Download link
(multiple PS files)
Similar books
A Gentle Introduction to MLby 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.
(11718 views)
Category Theory and Functional Programmingby 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.
(15441 views)
Certified Programming with Dependent Typesby 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.
(11587 views)
Purely Functional Data Structuresby 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.
(12215 views)