J. A. Walz
-
Source-tracking unification
Information and Computation
Polymorphic type reconstruction using type equations
IFL'03 Proceedings of the 15th international conference on Implementation of Functional Languages