We present a simple calculus, called R-calculus (for “reconfiguration”), intended to provide
a kernel model for a computational paradigm in which standard execution (that is, execution …

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-…

We define a calculus for investigating the interactions between mixin modules and
computational effects, by combining the purely functional mixin calculus CMS witha monadic …

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 …

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 …

We present a simple module calculus where selection and execution of a component is
possible on open modules, that is, modules that still need to import some external definitions. …

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. …

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 …

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…

Building on our previous work, we present a simple module calculus where execution steps
of a module component can be interleaved with reconfiguration steps (that is, reductions at …