Geoffrey Smith Principal Type Schemes for Functional Programs with Overloading and Subtyping. 197-226 1994 23 Sci. Comput. Program. 2-3 db/journals/scp/scp23.html#Smith94