Jon Fairbairn. A New Type-Checker for a Functional Language. In Malcolm P. Atkinson, Peter Buneman, Ronald Morrison, editors, Data Types and Persistence, Informal Proceedings of the First Workshop on Persistent Objects, Appin, Scotland, August 1985. pages 107-123, 1985. [doi]
Abstract is missing.