Polymorphic Type Inference And Semi-Unif by Fritz Henglein