Abstract data and functors
J. M. Foster, P. D. Foster · ACM SIGPLAN Notices · 1977
The use of 'functors' is proposed to generalise the ideas of abstract data and representation, and it is shown that these ideas have further uses in setting up libraries of algorithms. The properties of functors are discussed.