An Introduction to the Theory of Lists

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

Abstract

In these lectures we introduce a notation and a calculus for specifying and manipulating computable functions over lists. The calculus is used to derive efficient solutions for a number of problems, including problems in text processing. Although programming per se is not the main topic, we indicate briefly how these solutions can be implemented in a purely functional programming language.

Keywords

Sorting Prefix 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Bird, R.S. Transformational programming and the paragraph problem. Science of Computer Programming 6 (1986) 159–189.MATHCrossRefGoogle Scholar
  2. 2.
    Bird, R.S. The promotion and accumulation strategies in transformational programming. ACM. Trans, on Prog. Lang, and Systems 6 (1984) 487–450. Addendum Ibid 7 (1985).MATHCrossRefGoogle Scholar
  3. 3.
    Bird, R.S. and Hughes, R.J.M. The alpha-beta algorithm: an exercise in program transformation. Inf. Proc. Letters (to appear 1986).Google Scholar
  4. 4.
    Bird, R.S. and Meertens L.G.L.T Two exercises found in a book on algorithmics. Proc. TC2 Conference on Program Specification and Transformation, Bad Tolz, W. Germany 1986 (to appear Springer LNCS 1986).Google Scholar
  5. 5.
    Bird, R.S. and Wadler, P. An Introduction to Functional Programming Prentice-Hall (to be published 1987).Google Scholar
  6. 6.
    Meertens, L.G.L.T Algorithmics — towards programming as a mathematical activity. Proc. CWI Symp. on Mathematics and Computer Science, CWI Monographs, North-Holland, 1 (1986) 289–334.Google Scholar
  7. 7.
    Turner, D. Recursion equations as a programming language. Functional Programming and its Applicatons, Cambridge University Press, Cambridge, U.K. 1982.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1987

Authors and Affiliations

  • Richard S. Bird
    • 1
  1. 1.Programming Research GroupUniversity of OxfordOxfordUK

Personalised recommendations