he88h

Fritz Henglein. Simple Type Inference and Unification. SETL Newsletter Courant Institute of Mathematical Sciences, New York University, No 232, October 1988.

Keyword

[ Parametricity ]

Contact

Fritz Henglein

BibTex Reference

@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}
}

EndNote Reference [help]

Get EndNote Reference (.ref)