A Type System for Smalltalk.

Justin O. Graver, Ralph E. Johnson

Browse the full POPL paper archive.