Simons, A.J.H. orcid.org/0000-0002-5925-7148 (1997) A Theory of Class. In: Patel, D., Sun, Y. and Patel, S., (eds.) OOIS’96: 1996 International Conference on Object Oriented Information Systems 16–18 December 1996, London Proceedings. 1996 International Conference on Object Oriented Information Systems, 16-18 Dec 1996, London, United Kingdom. Springer London , pp. 44-56. ISBN 9783540761327
Abstract
We present a mathematical theory of class. The theory is general, in that it encompasses many different approaches to type abstraction, such as type constructors, generic parameters, classes, inheritance and polymorphism. The theory is elegant, in that it is based on a simple Generalization of F-bounds. The theory has timely implications for emerging OMG standards and future language designs.
Metadata
Item Type: | Proceedings Paper |
---|---|
Authors/Creators: |
|
Editors: |
|
Copyright, Publisher and Additional Information: | © 1997 Springer-Verlag London Limited. This is an author-produced version of a paper subsequently published in OOIS’96: 1996 International Conference on Object Oriented Information Systems 16–18 December 1996, London Proceedings. Uploaded in accordance with the publisher's self-archiving policy. |
Keywords: | object-oriented; type theory; F-bounds; class; classification; generic parameters; polymorphism; inheritance |
Dates: |
|
Institution: | The University of Sheffield |
Academic Units: | The University of Sheffield > Faculty of Engineering (Sheffield) > Department of Computer Science (Sheffield) |
Depositing User: | Symplectic Sheffield |
Date Deposited: | 29 Jun 2023 14:57 |
Last Modified: | 30 Jun 2023 13:07 |
Status: | Published |
Publisher: | Springer London |
Refereed: | Yes |
Identification Number: | 10.1007/978-1-4471-0973-0_4 |
Open Archives Initiative ID (OAI ID): | oai:eprints.whiterose.ac.uk:200766 |