PolyTOIL

PolyTOIL: A type-safe polymorphic object-oriented language. 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.


References in zbMATH (referenced in 22 articles )

Showing results 1 to 20 of 22.
Sorted by year (citations)

1 2 next

  1. Na, Hyunik; Ryu, Sukyoung: A new formalization of subtyping to match subclasses to subtypes (2014)
  2. Siek, Jeremy G.; Lumsdaine, Andrew: A language for generic programming in the large (2011)
  3. Alagić, Suad; Royer, Mark: Genericity in Java: Persistent and database systems implications (2008)
  4. Steel, Jim; Jézéquel, Jean-Marc: On model typing (2007)
  5. Johnsen, Einar Broch; Owe, Olaf; Yu, Ingrid Chieh: Creol: A type-safe object-oriented model for distributed concurrent systems (2006)
  6. Winter, Michael: On problems in polymorphic object-oriented languages with self types and matching (2006)
  7. Bruce, Kim B.: Some challenging typing issues in object-oriented languages. (2003)
  8. Compagnoni, Adriana; Goguen, Healfdene: Typed operational semantics for higher-order subtyping. (2003)
  9. Igarashi, Atsushi; Pierce, Benjamin C.: Foundations for virtual types (2002)
  10. Igarashi, Atsushi; Viroli, Mirko: On variance-based subtyping for parametric types (2002)
  11. Reddy, Uday S.: Objects and classes in Algol-like languages (2002)
  12. Rinat, Ran: Type-safe covariant specialization with generalized matching (2002)
  13. Bono, Viviana; Salvo, Ivano: A cuch interpretation of an object-oriented language. (2001)
  14. Alagić, Suad: Semantics of temporal classes (2000)
  15. Baldan, Paolo; Ghelli, Giorgio; Raffaetà, Alessandra: Basic theory of $F$-bounded quantification. (1999)
  16. Bono, Viviana; Bugliesi, Michele: Matching for the lambda calculus of objects (1999)
  17. Bono, Viviana; Mitchell, John C.; Patel, Amit; Shmatikov, Vitaly: A core calculus of classes and objects. (1999)
  18. Bruce, Kim B.; Cardelli, Luca; Pierce, Benjamin C.: Comparing object encodings. (1999)
  19. Kammüller, Florian: Modular structures as dependent types in Isabelle (1999)
  20. Motogna, Simona: $F$-bounded quantification and the matching relation (1999)

1 2 next