DMCA
PolyTOIL: A type-safe polymorphic object-oriented language (1995)
Cached
Download Links
- [cs.williams.edu]
- [www.cs.mun.ca]
- [ftp.cs.williams.edu]
- [www.cs.mun.ca]
- [www.cs.mun.ca]
- [ftp.cs.williams.edu]
- DBLP
Other Repositories/Bibliography
| Citations: | 140 - 10 self |
BibTeX
@MISC{Bruce95polytoil:a,
author = {Kim B. Bruce and Adrian Fiech and Angela Schuett and Robert Van Gent},
title = {PolyTOIL: A type-safe polymorphic object-oriented language},
year = {1995}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
PolyTOIL is a new statically-typed polymorphic object-oriented programming language that is provably type-safe. By separating the de nitions of subtyping and inheritance, providing a name for the type of self, and carefully de ning 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 quanti cation, 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 de nition of type-checking rules and semantics.
