Toward a Typed Foundation for Method Specialization and Inheritance

John C. Mitchell. Toward a Typed Foundation for Method Specialization and Inheritance. In POPL. pages 109-124, 1990.

@inproceedings{Mitchell90:1,
  title = {Toward a Typed Foundation for Method Specialization and Inheritance},
  author = {John C. Mitchell},
  year = {1990},
  tags = {C++},
  researchr = {https://researchr.org/publication/Mitchell90%3A1},
  cites = {0},
  citedby = {0},
  pages = {109-124},
  booktitle = {POPL},
}