The type hierarchy described in this paper is a superset of the class hierarchy. In order to regain an orthogonal and internally consistent language, we investigate the impact of the new type hierarchy on other parts of the language. The resulting increase in expressive power serves to further narrow the gap between statically and dynamically typed languages, adding among other things more general generics, immutable references, and attributes with types not known until runtime.
Click here to retrieve the whole document in PostScript (28 pages, 631Kb).
BibTex cite:
@InProceedings{sbrandt:knudsen:96,
author = "S{\o}ren Brandt and J{\o}rgen Lindskov Knudsen",
title = "{G}eneralising the {BETA} {T}ype {S}ystem",
year = "1996",
month = jul,
booktitle = "Proceedings of the European Conference on
Object-Oriented Programming (ECOOP)",
publisher = "Springer-Verlag",
note = "To Appear"
}