Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

11

OOPSLA
1990
Springer

favoriteEmaildiscussreport

99views Security Privacy» more OOPSLA 1990»

Type Substitution for Object-Oriented Programming

13 years 8 months ago

Type Substitution for Object-Oriented Programming

Download www.cs.ucla.edu

Genericity allows the substitution of types in a class. This is usually obtained through parameterized classes, although they are inflexible since any class can be inherited but is not in itself parameterized. We suggest a new genericity mechanism, type substitution, which is a subclassing concept that complements inheritance: any class is generic, can be "instantiated" gradually without planning, and has all of its generic instances as subclasses.

Jens Palsberg, Michael I. Schwartzbach

Real-time Traffic

Genericity | OOPSLA 1990 | Parameterized Classes | Security Privacy |

claim paper

Related Content

» Iterative Type Analysis and Extended Message Splitting Optimizing DynamicallyTyped ObjectO...

» Using ObjectOriented Typing to Support Architectural Design in the C2 Style

» Recursive Object Types in a Logic of ObjectOriented Programs

» PolyTOIL A TypeSafe Polymorphic ObjectOriented Language

» Modular Session Types for Distributed ObjectOriented Programming

» Session and Union Types for Object Oriented Programming

» A Typeful Approach to ObjectOriented Programming with Multiple Inheritance

» ObjectOriented Programming Versus Abstract Data Types

» The Complexity of Type Analysis of Object Oriented Programs

Post Info
More Details (n/a)

Added	11 Aug 2010
Updated	11 Aug 2010
Type	Conference
Year	1990
Where	OOPSLA
Authors	Jens Palsberg, Michael I. Schwartzbach

Comments (0)