the definition and use of data structures in reduce
This paper gives a brief description and motivation of the mode analyzing and data-structuring extensions to the algebraic language REDUCE. These include generic functions, user defined recursive data structures, mode transfer functions and user modifiable automatic coercion. A number of examples are given to illustrate the style and features of the language, and how it will aid in the construction of more efficient and reliable programs.
definition use data structures data structure paper motivation extensibility language generic user recursion examples feature efficiency reliability program