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
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.
(11202 views)
Concurrent Programming in Erlangby Robert Virding, Claes Wikstrom, Mike Williams - Prentice Hall PTR
A tutorial of Erlang, a concurrent, functional programming language. The emphasis of this book is on learning through example and a number of well known problems in designing and programming concurrent fault-tolerant real-time systems.
(21446 views)
The Design of Functional Programs - A Calculational Approachby 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.
(12306 views)
Learn Functional Programmingby Goran Jovic - learn-functional-programming.com
The purpose of this book is to explain the main concepts in functional programming as simply as possible. The focus is not on implementation details of a specific language, compiler or platform, but on the concepts themselves.
(1596 views)