db/conf/db-workshops/Fairbairn85.html Jon Fairbairn A New Type-Checker for a Functional Language. 69-87 POS/1985/P069.pdf 1985 conf/pos/1985 Data Types and Persistence (Appin) db/conf/db-workshops/appin85.html#Fairbairn85