Jon Fairbairn. A New Type-Checker for a Functional Language. In Malcolm P. Atkinson, Peter Buneman, Ronald Morrison, editors, Data Types and Persistence. Edited Papers from the Proceedings of the First Workshop on Persistent Objects, Appin, Scotland, August 1985. Topics in Information Systems, pages 69-87, Springer, 1985. [doi]
@inproceedings{Fairbairn85:0,
title = {A New Type-Checker for a Functional Language},
author = {Jon Fairbairn},
year = {1985},
researchr = {https://researchr.org/publication/Fairbairn85%3A0},
cites = {0},
citedby = {0},
pages = {69-87},
booktitle = {Data Types and Persistence. Edited Papers from the Proceedings of the First Workshop on Persistent Objects, Appin, Scotland, August 1985},
editor = {Malcolm P. Atkinson and Peter Buneman and Ronald Morrison},
series = {Topics in Information Systems},
publisher = {Springer},
isbn = {3-540-18785-5},
}