Hiroaki Inoue, Atsushi Igarashi. A type system for first-class layers with inheritance, subtyping, and swapping. Science of Computer Programming, 179:54-86, 2019. [doi]
@article{InoueI19-0,
title = {A type system for first-class layers with inheritance, subtyping, and swapping},
author = {Hiroaki Inoue and Atsushi Igarashi},
year = {2019},
doi = {10.1016/j.scico.2019.03.008},
url = {https://doi.org/10.1016/j.scico.2019.03.008},
researchr = {https://researchr.org/publication/InoueI19-0},
cites = {0},
citedby = {0},
journal = {Science of Computer Programming},
volume = {179},
pages = {54-86},
}