A Monadic Multi-stage Metalanguage. - Eugenio Moggi; Sonia Fagorzi (FoSSaCS, 2003)

Mixin Modules and Computational Effects. - Davide Ancona; Sonia Fagorzi; Eugenio Moggi; Elena Zucca (ICALP, 2003)

A Calculus for Dynamic Linking. - Davide Ancona; Sonia Fagorzi; Elena Zucca (ICTCS, 2003)

A Calculus with Lazy Module Operators. - Davide Ancona; Sonia Fagorzi; Elena Zucca (IFIP TCS, 2004)

Modeling multiple class loaders by a calculus for dynamic linking. - Sonia Fagorzi; Elena Zucca; Davide Ancona (SAC, 2004)

A Calculus for Dynamic Reconfiguration with Low Priority Linking. - Davide Ancona; Sonia Fagorzi; Elena Zucca (WOOD, 2004)

A Case-Study in Encoding Configuration Languages: Multiple Class Loaders. - Sonia Fagorzi; Elena Zucca (J. Object Technol., 2004)

Mixin Modules for Dynamic Rebinding. - Davide Ancona; Sonia Fagorzi; Elena Zucca (TGC, 2005)

A Calculus for Reconfiguration: (Extended abstract). - Sonia Fagorzi; Elena Zucca (DCM@ICALP, 2005)

A Framework for Type Safe Exchange of Mobile Code. - Sonia Fagorzi; Elena Zucca (TGC, 2006)

A Calculus of Components with Dynamic Type-Checking. - Sonia Fagorzi; Elena Zucca (FACS, 2006)

A Parametric Calculus for Mobile Open Code. - Davide Ancona; Sonia Fagorzi; Elena Zucca (DCM@ICALP, 2007)

A calculus of open modules: call-by-need strategy and confluence. - Sonia Fagorzi; Elena Zucca (Math. Struct. Comput. Sci., 2007)