Type checking and type deduction in polymorphic programming languages (1985)

by Paola Giannini