On Subtyping and Matching

  title={On Subtyping and Matching},
  author={Mart{\'i}n Abadi and Luca Cardelli},
A relation between recursive object types, called matching, has been proposed as a generalization of subtyping. Unlike subtyping, matching does not support subsumption, but it does support inheritance of binary methods. We argue that matching is a good idea, but that it should not be regarded as a form of F-bounded subtyping (as was originally intended). We show that a new interpretation of matching as higher-order subtyping has better properties. Matching turns out to be a third-order… CONTINUE READING

From This Paper

Topics from this paper.
43 Citations
4 References
Similar Papers


Publications referenced by this paper.
Showing 1-4 of 4 references

ed. Systems programming with Modula-3

  • G. Nelson
  • 1991
Highly Influential
4 Excerpts

Similar Papers

Loading similar papers…