PolyTOIL: A type-safe polymorphic object-oriented language

@article{Bruce2003PolyTOILAT,
  title={PolyTOIL: A type-safe polymorphic object-oriented language},
  author={K. Bruce and A. Reninger and R. V. Gent and Adrian Fiech},
  journal={ACM Trans. Program. Lang. Syst.},
  year={2003},
  volume={25},
  pages={225-290}
}
  • K. Bruce, A. Reninger, +1 author Adrian Fiech
  • Published 2003
  • Computer Science
  • ACM Trans. Program. Lang. Syst.
  • 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
    Generics of a higher kind
    • 71
    • PDF
    Scalable extensibility via nested inheritance
    • 158
    • Highly Influenced
    • PDF
    Creol: A type-safe object-oriented model for distributed concurrent systems
    • 140
    • PDF
    Typed parametric polymorphism for aspects
    • 47
    • PDF
    Static type inference for Ruby
    • 159
    • PDF
    Haskell's overlooked object system
    • 36
    • PDF
    Type Checking for JavaScript
    • 33
    • PDF
    Typed operational semantics for higher-order subtyping
    • 27
    On Model Subtyping
    • 64

    References

    Publications referenced by this paper.
    SHOWING 1-8 OF 8 REFERENCES
    Eiffel: The Language
    • 1,393
    • Highly Influential
    Smalltalk-80: The Language and Its Implementation
    • 4,057
    • Highly Influential
    • PDF
    An introduction to Trellis/Owl
    • 247
    • Highly Influential
    The Annotated C++ Reference Manual
    • 879
    • Highly Influential
    • PDF
    Java
    • 87
    • Highly Influential
    Object Pascal report
    • 1985
    Ei el: the language
    • 1992
    Subtypes vs
    • 1995