Fritz Henglein. Simple Type Inference and Unification. SETL Newsletter Courant Institute of Mathematical Sciences, New York University, No 232, October 1988.
[ Parametricity ]
@TechReport{he88h,
Author = {Henglein, Fritz},
Title = {Simple Type Inference and Unification},
Number = {232},
Institution = {Courant Institute of Mathematical Sciences, New York University},
Month = {October},
Year = {1988}
}
Get EndNote Reference (.ref)