Inheritance Is Not Subtyping

@inproceedings{Cook1989InheritanceIN,
  title={Inheritance Is Not Subtyping},
  author={William R. Cook and Walter L. Hill and Peter S. Canning},
  booktitle={POPL},
  year={1989}
}
In typed object-oriented languages the subtype relation is typically based on the inheritance hierarchy. This approach, however, leads either to insecure type-systems or to restrictions on inheritance that make it less flexible than untyped Smalltalk inheritance. We present a new typed model of inheritance that allows more of the flexibility of Smalltalk inheritance within a statically-typed system. Significant features of our analysis are the introduction of polymorphism into the typing of… CONTINUE READING

Topics from this paper.

Citations

Publications citing this paper.

FILTER CITATIONS BY YEAR

1989
2019

CITATION STATISTICS

  • 16 Highly Influenced Citations

  • Averaged 5 Citations per year over the last 3 years

References

Publications referenced by this paper.
SHOWING 1-3 OF 3 REFERENCES

An introduction to Trellis/Owl

  • C. Schaffert, T. Cooper, B. Bulhs, M. Kihan, C. Wilpolt
  • In Proc. ACM Conf. on Object-Oriented Programming…
  • 1986
Highly Influential
6 Excerpts

Similar Papers

Loading similar papers…