A Sound Type System for Layer Subtyping and Dynamically Activated First-Class Layers.

Hiroaki Inoue, Atsushi Igarashi

Browse the full APLAS paper archive.