A Type Declaration and Inference System for Smalltalk

Alan Borning, Daniel H. H. Ingalls. A Type Declaration and Inference System for Smalltalk. In POPL. pages 133-141, 1982.

Abstract

Abstract is missing.