Type-Check Elimination: Two Object-Oriented Reengineering Patterns.

Stéphane Ducasse Tamar Richner Robb Nebbe Type-Check Elimination: Two Object-Oriented Reengineering Patterns. 157- 1999 WCRE http://computer.org/proceedings/wcre/0303/03030157abs.htm db/conf/wcre/wcre1999.html#DucasseRN99