Paper Info
Title
Subtyping is not a good "Match" for object-oriented languages
Abstract
We present the design and rationale of a new statically-typed object-oriented language, LOOM. LOOM retains most of the features of the earlier language PolyTOIL. However the subtyping relation is dropped from LOOM in favor of the matching relation. "Hash types", which are defined in terms of matching, are introduced to provide some of the benefits of subtyping. These types can be used to provide support for heterogeneous data stuctures in LOOM. LOOM is considerably simpler than PolyTOIL, yet is just as expressive. The type system for the language is decidable and provably type safe. The addition of modules to the language provides better control over information hiding and allows the provision of access like that of C++'s friends.
Year
DOI
Venue
1997
10.1007/BFb0053376
LECTURE NOTES IN COMPUTER SCIENCE
Keywords
DocType
Volume
object oriented language
Conference
1241
ISSN
Citations 
PageRank 
0302-9743
56
3.22
References 
Authors
14
3
Name
Order
Citations
PageRank
Kim B. Bruce11169168.81
Leaf Petersen21089.65
Adrian Fiech317015.43