Christopher Anderson, Franco Barbanera, Mariangiola Dezani-Ciancaglini, Sophia Drossopoulou. Can addresses be types? (A case study: objects with delegation). Electronic Notes in Theoretical Computer Science, 82(7):108-129, 2003. [doi]
Abstract is missing.