Specification of data structures for FP programs

Geoffrey A. Frank. Specification of data structures for FP programs. In Arvind, Jack B. Dennis, editors, Proceedings of the 1981 conference on Functional programming languages and computer architecture, FPCA 1981, Wentworth, New Hampshire, USA, October 1981. pages 221-228, ACM, 1981. [doi]

Abstract

Abstract is missing.