James J. Leifer Bernard Sufrin Deduction for Functional Programmers. 365-373 1996 6 J. Funct. Program. 2 db/journals/jfp/jfp6.html#LeiferS96