A type declaration and inference system for Smalltalk (1982)

by A H Boming, D H Ingalls
Venue:In Proc. of the ACM Symp. on Principles of Pro- gramming Languages