Typed open programming: a higher-order, typed approach to dynamic modularity and distribution

Andreas Rossberg. Typed open programming: a higher-order, typed approach to dynamic modularity and distribution. PhD thesis, Saarland University, 2007. [doi]

Abstract

Abstract is missing.