Lectures on Constructive Functional Programming

  • Richard S. Bird
Part of the NATO ASI Series book series (volume 55)


The subject of these lectures is a calculus of functions for deriving programs from their specifications. This calculus consists of a range of concepts and notations for defining functions over various data types — including lists, trees, and arrays — together with their algebraic and other properties. Each lecture begins with a specific problem, and the theory necessary to solve it is then developed. In this way we hope to show that a functional approach to the problem of systematically calculating programs from their specifications can take its place alongside other methodologies.


Binary Operator Identity Element Linear Time Algorithm Functional Composition Empty List 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    De Moor, O. and Swierstra, D. The low segment problem. Presentation at WG2. 1, Rome, March 1988.Google Scholar
  2. [2]
    Rem, M. Small programming exercises. Science of Computer Programming. 1987.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1989

Authors and Affiliations

  • Richard S. Bird
    • 1
  1. 1.Programming Research GroupOxfordUK

Personalised recommendations