Strongtalk: Typechecking Smalltalk in a Production Environment.

Gilad Bracha, David Griswold

Browse the full OOPSLA paper archive.