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]