Fritz Henglein. Polymorphic Type Inference is Semi-Unification. SETL Newsletter New York University, No 229, October 1988.
@TechReport{he88e,
Author = {Henglein, Fritz},
Title = {Polymorphic Type Inference is Semi-Unification},
Number = {229},
Institution = {New York University},
Month = {October},
Year = {1988}
}
Get EndNote Reference (.ref)