Lectures on Constructive Functional Programming

  • Richard S. Bird
Conference paper
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.


Prefix Suffix Nises Hemel 


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