A Type Declaration and Inference System for Smalltalk (1982)

by A H Borning, D H H Ingalls
Venue:In Ninth Symposium on Principles of Programming Languages