Type-Safe Runtime Class Upgrades in Creol.

Ingrid Chieh Yu Einar Broch Johnsen Olaf Owe Type-Safe Runtime Class Upgrades in Creol. 202-217 2006 conf/fmoods/2006 FMOODS http://dx.doi.org/10.1007/11768869_16 db/conf/fmoods/fmoods2006.html#YuJO06