#### Filter Results:

- Full text PDF available (10)

#### Publication Year

2003

2008

- This year (0)
- Last 5 years (0)
- Last 10 years (1)

#### Publication Type

#### Co-author

#### Journals and Conferences

Learn More

- Eugenio Moggi, Sonia Fagorzi
- FoSSaCS
- 2003

We describe a metalanguage MMML, which makes explicit the order of evaluation (in the spirit of monadic metalanguages) and the staging of computations (as in languages for multi-level binding-timeâ€¦ (More)

- Davide Ancona, Sonia Fagorzi, Eugenio Moggi, Elena Zucca
- ICALP
- 2003

We define a calculus for investigating the interactions between mixin modules and computational effects, by combining the purely functional mixin calculus CMS with a monadic metalanguage supportingâ€¦ (More)

- Davide Ancona, Sonia Fagorzi, Elena Zucca
- ICTCS
- 2003

We define a calculus for modeling dynamic linking independently of the details of a particular programming environment. The calculus distinguishes at the language level the notions of softwareâ€¦ (More)

- Davide Ancona, Sonia Fagorzi, Elena Zucca
- IFIP TCS
- 2004

Modern programming environments such as those of Java and C# support dynamic loading of software fragments. More in general, we can expect that in the future systems will support more and more formsâ€¦ (More)

- Sonia Fagorzi, Elena Zucca
- Electr. Notes Theor. Comput. Sci.
- 2006

- Davide Ancona, Sonia Fagorzi, Elena Zucca
- Electr. Notes Theor. Comput. Sci.
- 2008

We present a simple parametric calculus of processes which exchange open mobile code, that is, code which may contain free variables to be bound by the receiverâ€™s code. Type safety is ensured by aâ€¦ (More)

- Davide Ancona, Sonia Fagorzi, Elena Zucca
- TGC
- 2005

Dynamic rebinding is the ability of changing the definitions of names at execution time. While dynamic rebinding is clearly useful in practice, and increasingly needed in modern systems, mostâ€¦ (More)

- Sonia Fagorzi, Elena Zucca
- Electr. Notes Theor. Comput. Sci.
- 2007

We present a simple module calculus modeling software composition in an open environment, where some components can be provided from the outside after execution has started. Operators for combiningâ€¦ (More)

- Sonia Fagorzi, Elena Zucca
- TGC
- 2006

We present a simple parametric calculus of processes which exchange mobile code, where type safety is ensured by a combination of static and dynamic checks. That is, internal consistency of eachâ€¦ (More)

- Sonia Fagorzi, Elena Zucca, Davide Ancona
- SAC
- 2004

In a recent paper we proposed a calculus for modeling dynamic linking independently of the details of a particular programming environment.Here we use a particular instantiation of this calculus toâ€¦ (More)