A Type Declaration and Inference System for Smalltalk (1982)

by A Borning, D Lngalls