PolyTOIL: A type-safe polymorphic object-oriented language

@article{Bruce2003PolyTOILAT,
  title={PolyTOIL: A type-safe polymorphic object-oriented language},
  author={Kim B. Bruce and Angela Schuett Reninger and Robert van Gent and Adrian Fiech},
  journal={ACM Trans. Program. Lang. Syst.},
  year={2003},
  volume={25},
  pages={225-290}
}
PolyTOIL is a new statically typed polymorphic object-oriented programming language that is provably typesafe. By separating the definitions of subtyping and inheritance, providing a name for the type of self, and carefully defining the type-checking rules, we have obtained a language that is very expressive while supporting modular type-checking of classes. The matching relation on types, which is related to F-bounded quantification, is used both in stating type-checking rules and expressing… CONTINUE READING

References

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

Object Pascal report

  • L. Tesler
  • Technical Report 1, Apple Computer,
  • 1985
Highly Influential
9 Excerpts

Ei el: the language

  • B. Meyer
  • Prentice-Hall
  • 1992
Highly Influential
16 Excerpts

Similar Papers

Loading similar papers…