Abstract
In this chapter we introduce a programming language named 0-3 that supports general Self types. The surface features of O-3 are similar to those of the language O-l of Chapter 12, and of the language O-2 of Chapter 19. In contrast with these languages, O-3 handles well both covariant and contravariant Self types, as well as the inheritance of binary methods, but restricts subsumption. 0-3 is inspired by the class-based language PolyTOIL, but includes both class-based and object-based constructs.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1996 Springer Science+Business Media New York
About this chapter
Cite this chapter
Abadi, M., Cardelli, L. (1996). A Language with Matching. In: A Theory of Objects. Monographs in Computer Science. Springer, New York, NY. https://doi.org/10.1007/978-1-4419-8598-9_22
Download citation
DOI: https://doi.org/10.1007/978-1-4419-8598-9_22
Publisher Name: Springer, New York, NY
Print ISBN: 978-1-4612-6445-3
Online ISBN: 978-1-4419-8598-9
eBook Packages: Springer Book Archive