Type-checking Smalltalk (1986)

by R E Johnson
Venue:In Proceedings of the Conference on Object Oriented Programming Systems, Languages, and Applications