Skip to main content

AN INTRODUCTION TO THE THEORY OF LISTS

Richard S. Bird

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.

Institution
OUCL
Month
October
Number
PRG56
Pages
40
Year
1986