Seco, João Costa, and Luís Caires. "Types for Dynamic Reconfiguration." Programming Languages and Systems, 15th European Symposium on Programming, ESOP 2006. 2006.