Jon Fairbairn A New Type-Checker for a Functional Language. 273-290 1986 6 Sci. Comput. Program. 3 db/journals/scp/scp6.html#Fairbairn86