A type system for checking specialization of packages in object-oriented programming.

Ferruccio Damiani, Arnd Poetzsch-Heffter, Yannick Welsch

Browse the full SAC paper archive.