Type inference for polymorphic references (1990)

by M Tofte
Venue:Inf. and Comp