Fritz Henglein. Polymorphic type inference and semi-unification. May 1989.
Fritz Henglein. Polymorphic type inference and semi-unification. PhD thesis, Rutgers University, May 1989. Available as NYU Technical Report 443, May 1989, from New York University, Courant Institute of Mathematical Sciences, Department of Computer Science.
Size 743.4 kB - File type application/pdf