A Framework for Modular Linking in OO Languages.

Sean McDirmid Wilson C. Hsieh Matthew Flatt A Framework for Modular Linking in OO Languages. 116-135 2006 conf/jmlc/2006 JMLC http://dx.doi.org/10.1007/11860990_9 db/conf/jmlc/jmlc2006.html#McDirmidHF06