Union types for object-oriented programming

Atsushi Igarashi, Hideshi Nagira. Union types for object-oriented programming. In Hisham Haddad, editor, Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), Dijon, France, April 23-27, 2006. pages 1435-1441, ACM, 2006. [doi]

@inproceedings{IgarashiN06,
  title = {Union types for object-oriented programming},
  author = {Atsushi Igarashi and Hideshi Nagira},
  year = {2006},
  doi = {10.1145/1141277.1141610},
  url = {http://doi.acm.org/10.1145/1141277.1141610},
  tags = {object-oriented programming, meta programming, programming, subject-oriented programming, Meta-Environment, feature-oriented programming, meta-objects},
  researchr = {https://researchr.org/publication/IgarashiN06},
  cites = {0},
  citedby = {0},
  pages = {1435-1441},
  booktitle = {Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), Dijon, France, April 23-27, 2006},
  editor = {Hisham Haddad},
  publisher = {ACM},
  isbn = {1-59593-108-2},
}