Distributed Systems Group

Distributed Systems Group

No information is available for this author.

Back to all authors

Books Authored by Distributed Systems Group

The Design of Functional Programs - A Calculational Approach

Post date: 09 Oct 2006
This document shows to what extent functional programs can be designed in a calculational way. This study is about programming, as a design activity; it is not about programming languages, formal semantics included, nor about implementations.
Publication date: 31 Dec 1989
 
The Design of Functional Programs - A Calculational Approach

The Design of Functional Programs - A Calculational Approach

Post date: 09 Oct 2006
This document shows to what extent functional programs can be designed in a calculational way. This study is about programming, as a design activity; it is not about programming languages, formal semantics included, nor about implementations.
Publication date: 31 Dec 1989


Book Categories
Sponsors