In these lectures we introduce a notation and a calculus for specifying and manipulating computable functions over lists. The calculus is used to de rive efficient solutions for a number of problems, including problems in text processing. Although programming per se is not the main topic, we indi cate briefiy how these solutions can be implemented in a purely functional programming language.
CITATION STYLE
Bird, R. S. (1987). An Introduction to the Theory of Lists. In Logic of Programming and Calculi of Discrete Design (pp. 5–42). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-87374-4_1
Mendeley helps you to discover research relevant for your work.