A Type Declaration and Inference System for Smalltalk.

Alan Borning, Daniel H. H. Ingalls

Browse the full POPL paper archive.