John V. Guttag, James J. Horning, John Williams. FP with data abstraction and strong typing. 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 11-24, ACM, 1981. [doi]
@inproceedings{GuttagHW81,
title = {FP with data abstraction and strong typing},
author = {John V. Guttag and James J. Horning and John Williams},
year = {1981},
doi = {10.1145/800223.806758},
url = {http://doi.acm.org/10.1145/800223.806758},
researchr = {https://researchr.org/publication/GuttagHW81},
cites = {0},
citedby = {0},
pages = {11-24},
booktitle = {Proceedings of the 1981 conference on Functional programming languages and computer architecture, FPCA 1981, Wentworth, New Hampshire, USA, October 1981},
editor = {Arvind and Jack B. Dennis},
publisher = {ACM},
isbn = {0-89791-060-5},
}