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 21 articles )

Showing results 1 to 20 of 21.
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) ioport
  4. Steel, Jim; Jézéquel, Jean-Marc: On model typing (2007) ioport
  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.; Schuett, Angela; Van Gent, Robert; Fiech, Adrian: Polytoil: A type-safe polymorphic object-oriented language. (2003) ioport
  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. Alagić, Suad: Semantics of temporal classes (2000)
  14. Baldan, Paolo; Ghelli, Giorgio; Raffaetà, Alessandra: Basic theory of $F$-bounded quantification. (1999)
  15. Bono, Viviana; Bugliesi, Michele: Matching for the lambda calculus of objects (1999)
  16. Bruce, Kim B.; Cardelli, Luca; Pierce, Benjamin C.: Comparing object encodings. (1999)
  17. Kammüller, Florian: Modular structures as dependent types in Isabelle (1999)
  18. Motogna, Simona: $F$-bounded quantification and the matching relation (1999)
  19. Fisher, Kathleen; Mitchell, John C.: On the relationship between classes, objects and data abstraction (1997)
  20. Ghelli, Giorgio: Termination of system $F$-bounded: A complete proof (1997)

1 2 next