ModulesGraduallyTyped-Homer2013 ConferenceProceedings 7th Workshop on Dynamic Languages and Applications Modules as Gradually-Typed Objects 2013 https://michael.homer.nz/Publications/DYLA2013 Homer Michael Noble James Bruce Kim B. Black Andrew P.