Enforcing Type-Safe Linking using Inter-Package Relationships. - Mehdi Dogguy; Stéphane Glondu; Sylvain Le Gall; Stefano Zacchiroli (Stud. Inform. Univ., 2011)