Efficient inference of partial types

Authored By:	Dexter Kozen, Jens Palsberg and Michael I. Schwartzbach
Paper Title:	Efficient inference of partial types
In:	J. of Comput. Syst. Sci.
Number 2 Vol. 49
Publication Date:	1994
Pages:	306-324