A type declaration and inference system for smalltalk (1982)

by A H Borning, D H H Ingalls
Venue:In ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages