TY  - RPRT
TI  - A Type System for First-Class Layers with Inheritance, Subtyping, and Swapping
AU  - Hiroaki Inoue
AU  - Atsushi Igarashi
PY  - 2019
DO  - 10.1016/j.scico.2019.03.008
UR  - https://arxiv.org/abs/1905.01453
ID  - 1905.01453
ER  -