PolyTOIL: A Type-Safe Polymorphic Object-Oriented Language

Autor:	Robert van Gent, Kim B. Bruce, Angela Schuett
Rok vydání:	2007
Předmět:	Ad hoc polymorphism Computer science Programming language TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS Object language Type safety Type class Type system Type signature Type conversion computer.software_genre Data type computer
Zdroj:	Object-Oriented Programming ISBN: 9783540601609 ECOOP
DOI:	10.1007/3-540-49538-x_3
Popis:	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.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::d327c66ce2dfc5d8ec14dace70254fa3 https://doi.org/10.1007/3-540-49538-x_3 Zobrazit plný text záznamu