**The Design of Functional Programs - A Calculational Approach**

by Dr. Robert Richard Hoogerwoord

**Publisher**: Technische Universiteit Eindhoven 1989**Number of pages**: 228

**Description**:

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, functional-program notations more resemble "ordinary" mathematical formalisms than sequential-program notations do. This raised a question of whether the two ways of programming are really different: they might very well turn out to have more in common than one would expect at first sight. The results of this research are laid down in this document. This study is about programming, as a design activity; it is not about programming languages, formal semantics included, nor about implementations. This implies that this document discusses semantics and implementations only as far as needed for its purpose, namely the formulation of a set of rules for designing programs.

Download or read it online for free here:

**Download link**

(4.4MB, PDF)

## Similar books

**Functional Programming in Qi**

by

**Mark Tarver**-

**Upfront Publishing**

The book is both a comprehensive introduction to Qi and to functional programming. It covers foundational material and is suitable for an undergraduate introduction to functional programming. It also explores the theoretical foundations of Qi.

(

**5399**views)

**Functional Programming and Parallel Graph Rewriting**

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.

(

**4662**views)

**Category Theory and Functional Programming**

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.

(

**7422**views)

**Purely Functional Data Structures**

by

**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.

(

**3575**views)