… We study two partial type inference methods for a language combining subtyping … method infers type arguments in polymorphic applications using a local constraint … inference in a sizable body of existing ML code. …
TOPLAS, 22(1):1-44, 2000. [doi]… Inference of static types for local variables in Java bytecode is the first … finding a set of minimal typings that are valid for all assignments, and then checking whether these minimal typings satisfy all uses. Unlike previous algorithms …
OOPSLA 2008: 475-492 [doi]… inference when they are used as local type assumptions. Local type assumptions often result in the lack of principal types and cast the generalisation of local let … inference approach for local type assumptions. Our system, called OutsideIn(X …
J. Funct. Program., 21(4-5):333-412, 2011.