Polymorphic Type Inference and Semi-unification: Author