It is appealing, yet challenging, to provide a set of geographically separated users with the same computing environment despite differences in underlying hardware or software.

This paper addresses the question of how to provide type interoperability: namely, the ability for types representing the same software module, but possibly defined by different programmers, in different languages and running on different distributed platforms, to be treated as one single type.

We present a pragmatic approach to deal with type interoperability in a dynamic distributed environment. Our approach is based on an optimistic transport protocol for passing objects by value (or by reference) between remote sites and a set of implicit type interoperability rules. We experiment the approach over the .NET platform which we indirectly evaluate.