A type declaration and inference system for Smalltalk (1982)

by Alan H Borning, Daniel H H Ingalls
Venue:In Ninth Symposium on Principles of Programming Languages