K. B. Bruce, A. Fiech, A. Schuett, R. van Gent, A type-safe polymorphic objectoriented language, in: European Conference on Object-Oriented Programming (ECOOP), 1995. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Type System of an Object-Oriented Database Programming.. - Leontiev, Özsu, Szafron (1999) (1 citation) (Correct)
....types, and its subtyping does not imply substitutability. TL [MMS94] is a database programming language based on ML. It has a very powerful type system, but lacks object oriented features. In addition to that TL does not directly support interface inheritance. The language PolyTOIL [BSG95] BSG94] has one of the most impressive type systems. It has multiple dispatch, user definable parametric types, function type specifications, separates interface from implementation, and has a static type checking. However, since it is not a database programming language, it lacks reflexivity and ....
Kim B. Bruce, Angela Schuett, and Robert Van Gent, A type-safe polymorphic object-oriented language, Accessible by anonymous FTP, July 1994. URL: ftp://cs.williams.edu/pub/kim/PolyTOIL.dvi
Foundations of Object-Oriented Languages - 2nd Workshop report - Castagna, Leavens (1994) (2 citations) (Correct)
....and its significance. The summary follows the order in which the presentations were given. Kim Bruce: Matching is better than constraining for bounded polymorphism in OOLs. Kim Bruce discussed his work on providing a flexible, yet type safe, polymorphic and imperative OO programming language [9]. In an imperative OO language, there are fewer subtypes than in previouslystudied theoretical OO languages that do not have mutation. Hence bounded polymorphism in which the bounding relationship is a subtype relationship is not as useful as might be desired. This problem underlies the problem ....
Kim B. Bruce, Angela Schuett, and Robert van Gent. A type-safe polymorphic object-oriented language. Obtain by anonymous ftp from cs.williams.edu in pub/kim/PolyTOIL.dvi., July 1994.
Typed Parametric Polymorphism for Aspects - Jagadeesan, Jeffrey, Riely (2006) (Correct)
No context found.
K. B. Bruce, A. Fiech, A. Schuett, R. van Gent, A type-safe polymorphic objectoriented language, in: European Conference on Object-Oriented Programming (ECOOP), 1995.
Unifying Object-Oriented Programming with Typed Functional.. - Xi (2002) (Correct)
No context found.
Kim Bruce, A. Schuett, and R. van Gent. a type-safe polymorphic object-oriented language. In European Conference on Object-Oriented Programming, pages 27--51. Springer-Verlag LNCS 933, 1995.
A Calculus of Untyped Aspect-Oriented Programs - Jagadeesan, Jeffrey, Riely (2003) (14 citations) (Correct)
No context found.
Kim B. Bruce, Adrian Fiech, Angela Schuett, and Robert van Gent. A type-safe polymorphic object-oriented language. In European Conference on Object-Oriented Programming (ECOOP), 1995.
Unifying Object-Oriented Programming with Typed Functional.. - Xi (2002) (Correct)
No context found.
Kim Bruce, A. Schuett, and R. van Gent. a type-safe polymorphic object-oriented language. In European Conference on Object-Oriented Programming, pages 27--51. Springer-Verlag LNCS 933, 1995.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC