Nov 1990], "Type inference for polymorphic references (1990)

by M Tofte
Venue:Information and Computation