Sonia Fagorzi

Math. Struct. Comput. Sci., 2007

A Parametric Calculus for Mobile Open Code.

[BibT_eX]

[DOI]

Proceedings of the Third International Workshop on Developments in Computational Models, 2007

2006

A Calculus of Components with Dynamic Type-Checking.

[BibT_eX]

[DOI]

Proceedings of the Third International Workshop on Formal Aspects of Component Software, 2006

A Framework for Type Safe Exchange of Mobile Code.

[BibT_eX]

[DOI]

Proceedings of the Trustworthy Global Computing, Second Symposium, 2006

2005

A Calculus for Reconfiguration: (Extended abstract).

[BibT_eX]

[DOI]

Proceedings of the First International Workshop on Developments in Computational Models, 2005

Mixin Modules for Dynamic Rebinding.

[BibT_eX]

[DOI]

Proceedings of the Trustworthy Global Computing, International Symposium, 2005

2004

A Case-Study in Encoding Configuration Languages: Multiple Class Loaders.

[BibT_eX]

[DOI]

J. Object Technol., 2004

A Calculus for Dynamic Reconfiguration with Low Priority Linking.

[BibT_eX]

[DOI]

Proceedings of the Second Workshop on Object Oriented Developments, 2004

Modeling multiple class loaders by a calculus for dynamic linking.

[BibT_eX]

[DOI]

Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), 2004

A Calculus with Lazy Module Operators.

[BibT_eX]

[DOI]

Proceedings of the Exploring New Frontiers of Theoretical Informatics, 2004

2003

A Calculus for Dynamic Linking.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Computer Science, 8th Italian Conference, 2003

Mixin Modules and Computational Effects.

[BibT_eX]

[DOI]

Proceedings of the Automata, Languages and Programming, 30th International Colloquium, 2003

A Monadic Multi-stage Metalanguage.

[BibT_eX]

[DOI]

Eugenio Moggi