Towards Type-Safe JCop: A type system for layer inheritance and first-class layers.

Hiroaki Inoue, Atsushi Igarashi, Malte Appeltauer, Robert Hirschfeld

Browse the full ECOOP paper archive.