- Title
- Covariantly adjusting co-types in Timor
- Creator
- Keedy, J. Leslie; Menger, Gisela; Heinlein, Christian
- Relation
- Journal of Object Technology Vol. 9, Issue 1, p. 35-55
- Publisher Link
- http://dx.doi.org/10.5381/jot.2010.9.1.c4
- Publisher
- ETH
- Resource Type
- journal article
- Date
- 2010
- Description
- This paper extends the idea of co-types (described in a companion paper) to include the concept of adjustment hierarchies. An adjustment hierarchy provides a parallel hierarchy to a subtyping hierarchy of a type being expanded by the co-type. This has a number of advantages including the predefinition of co-types for subtypes of an expanded type, and allowing automatic covariant adjustment of parameters for makers, binary methods and instance methods, without creating problems for static type safety.
- Subject
- co-types; adjustment hierarchies; Timor programming language; implementation-oriented parameters
- Identifier
- http://hdl.handle.net/1959.13/932900
- Identifier
- uon:11487
- Identifier
- ISSN:1660-1769
- Language
- eng
- Reviewed
- Hits: 801
- Visitors: 772
- Downloads: 0
| Thumbnail | File | Description | Size | Format |
|---|