Static Typing for Object-Oriented Programming (1994)
Cached
Download Links
- [www.daimi.aau.dk]
- [www.cs.purdue.edu]
- [www.brics.dk]
- [www.cs.ucla.edu]
- DBLP
Other Repositories/Bibliography
by
Jens Palsberg
,
Michael I. Schwartzbach
| Venue: | SCIENCE OF COMPUTER PROGRAMMING |
| Citations: | 18 - 6 self |
BibTeX
@ARTICLE{Palsberg94statictyping,
author = {Jens Palsberg and Michael I. Schwartzbach},
title = {Static Typing for Object-Oriented Programming},
journal = {SCIENCE OF COMPUTER PROGRAMMING},
year = {1994},
volume = {23}
}
Years of Citing Articles
OpenURL
Abstract
We develop a theory of statically typed object-oriented languages. It represents classes as labeled, regular trees, types as finite sets of classes, and subclassing as a partial order on trees. We show that our subclassing order strictly generalizes inheritance, and that a novel genericity mechanism arises as an order-theoretic complement. This mechanism, called class substitution, is pragmatically useful and can be implemented efficiently.







