IJllman J.D. [1978], A generaz scheme for the automatic inference ofvatiabZe types (1978)

by M A Kaplan
Venue:Conf. Rec. of the 5th ACM Symp. on Principles of Programming Languagas