db/conf/pos/Fairbairn85.html Jon Fairbairn A New Type-Checker for a Functional Language. 107-123 POS/POS85I/P107.pdf 1985 conf/pos/1985inf Data Types and Persistence (Appin), Informal Proceedings db/conf/pos/pos85.html#Fairbairn85