Polymorphic Type Inference and Assignment (1991)

by Xavier Leroy, Pierre Weis, Inria Rocquencourt