@inproceedings{igarashi2012fool,
  pdf = {fool2012.pdf},
  url = {https://2012.splashcon.org/track/fool-2012-papers},
  author = {Atsushi Igarashi and Robert Hirschfeld and Hidehiko Masuhara},
  title = {A Type System for Dynamic Layer Composition},
  booktitle = {Proceedings of 19th International Workshop on Foundations of Object-Oriented Languages (FOOL 2012)},
  pages = {13--24},
  year = 2012,
  month = oct,
  date = {2012-10-22},
  location = {Tucson, AZ, USA},
  keywords = {ContextFJ},
  abstract = {Dynamic layer composition is one of the key features in context-oriented programming (COP), an approach to improving modularity of behavioral variations that depend on the dynamic context of the execution environment. It allows a layer---a set of new or overriding methods that can belong to several classes---to be added to or removed from existing objects in a disciplined way. We develop a type system for dynamic layer composition, which may change the interfaces of objects at run time, based on a variant of ContextFJ, a core calculus for COP, and prove its soundness.}
}