@inproceedings{ModulesGraduallyTyped-Homer2013,
    title = {Modules as Gradually-Typed Objects},
    booktitle = {7th Workshop on Dynamic Languages and Applications},
    year = 2013,
    url = "https://michael.homer.nz/Publications/DYLA2013/ModulesGraduallyTyped-Homer2013.pdf",
    author = {Homer, Michael and Noble, James and Bruce, Kim B. and Black, Andrew P.},
    abstract = {
        Grace is a gradually typed, object-oriented language for use in
        education. Grace needs a module system for several reasons: to teach
        students about modular program design, to organise large programs,
        especially its self-hosted implementation, and to provide access to
        resources defined in other languages. Grace uses its basic organising
        construct, objects, to provide modules, and is then able to use its
        gradual structural typing to obtain a number of interesting features
        without any additional mechanisms.
    }
}