David S. Wise
.
Matrix algebra and applicative programming.
Functional Programming Languages and Computer Architecture,
Lecture Notes in Computer Science
274
, Berlin: Springer (1987), 134--153.
Author's copy of the paper
;
Appendix A
;
Appendix B
.