%O Report %F he88e %A Henglein, Fritz %T Polymorphic Type Inference is Semi-Unification %N 229 %I New York University %8 October %D 1988