by P. Di Blasio, M. Temperini, R. Febbraio, Marco Temperini
ftp://ftp.dis.uniroma1.it/pub/marte/papers/calculus.ps.gz
Add To MetaCart
Abstract:
under contract contract n. 92.01604.69.
Citations
|
762
|
On understanding types, data abstraction, and polymorphism
– Cardelli, Wegner
- 1985
|
|
629
|
Eiffel: the language
– Meyer
- 1992
|
|
500
|
A semantics for multiple inheritance
– Cardelli
- 1988
|
|
139
|
A calculus for overloaded functions with subtyping
– Castagna, Ghelli, et al.
- 1995
|
|
101
|
Toward a typed foundation for method specialization and inheritance
– Mitchell
- 1990
|
|
70
|
Static Type Checking of Multi-Methods
– Agrawal, DeMichiel, et al.
- 1991
|
|
38
|
A static type system for message passing
– Ghelli
- 1991
|
|
35
|
Safe type checking in a statically typed object-oriented programming language
– Bruce
- 1993
|
|
31
|
The Point of View notion for Multiple Inheritance
– Carré, Geib
- 1990
|
|
27
|
The C ++ Programming Language
– Stroustrop
- 1986
|
|
3
|
Typed Foundations of Object-Oriented Programming, Tutorial given at POPL'92
– Cardelli
- 1992
|
|
2
|
Type Theories and Object-Oriented
– Danforth, Tomlinson
- 1988
|
|
1
|
Subtyping Inheritance
– Blasio, Temperini
- 1993
|
|
1
|
Subtyping Inheritance and Its Application in Languages for Symbolic Computation Systems
– Blasio, Temperini
|
|
1
|
A.Pierantonio An Algebraic view of inheritance and subtyping
– Parisi-Presicce
- 1991
|
|
1
|
Type Redefinition and Polymorphism
– Regio, Temperini
- 1990
|
