Hiroaki Inoue, Atsushi Igarashi, Malte Appeltauer, Robert Hirschfeld: Towards Type-Safe JCop: A type system for layer inheritance and first-class layers. COP@ECOOP 2014: 7:1-7:6