Abstract

PolyTOIL is a new statically-typed polymorphic object-oriented programming language which is provably type-safe. 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 which 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 the bounds on type parameters for polymorphism. The design of PolyTOIL is based on a careful formal definition of type-checking rules and semantics. A proof of type safety is obtained with the aid of a subject reduction theorem. Categories: Type systems, design and semantics of object-oriented languages. Bruce, Schuett, and van Gent's research was partially supported by NSF grants CCR-9121778 and CCR-94xxxxx. Fiech's research was partially supported by NSERC grant OGP0170497. The results in...

Citations