Efficient Inference of Partial Types.

Dexter Kozen Jens Palsberg Michael I. Schwartzbach Efficient Inference of Partial Types. 306-324 1994 49 J. Comput. Syst. Sci. 2 db/journals/jcss/jcss49.html#KozenPS94 http://dx.doi.org/10.1016/S0022-0000(05)80051-0