Data Types as Objects

  title={Data Types as Objects},
  author={Adi Shamir and William W. Wadge},
In this paper we present a new approach to the semantics of data types, in which the types themselves are incorporated as elements of the domain of data objects. The approach allows types to have subtypes, allows genuinely polymorphic functions, and gives a precise semantics for recursive type definitions (including definitions with parameters). In addition, the approach yields simple and straightforward methods for proving type properties of recursive definitions. These methods include a new… CONTINUE READING
9 Citations
3 References
Similar Papers


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

A logic for computable functions with reflexive and polymorphic types

  • R. Milner, L. Morris, M. Newey
  • In Proceedings of the Symposium on Proving and…
  • 1975
2 Excerpts

Similar Papers

Loading similar papers…