Type-Safe Delegation for Dynamic Component Adaptation

Type-Safe Delegation for Run-Time Component Adaptation

ECOOP '99 Proceedings of the 13th European Conference on Object-Oriented Programming

Classification of the state-of-the-art dynamic web services composition techniques

International Journal of Web and Grid Services

First-Class Object Sets

Types for Proofs and Programs

Analyzing software updates: should you build a dynamic updating infrastructure?

FASE'11/ETAPS'11 Proceedings of the 14th international conference on Fundamental approaches to software engineering: part of the joint European conferences on theory and practice of software