Typing the specialization interface
- 1 October 1993
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices
- Vol. 28 (10) , 201-214
- https://doi.org/10.1145/167962.165891
Abstract
No abstract availableThis publication has 7 references indexed in Scilit:
- Object-oriented programming without recursive typesPublished by Association for Computing Machinery (ACM) ,1993
- Issues in the design and specification of class librariesPublished by Association for Computing Machinery (ACM) ,1992
- Interfaces and specifications for the Smalltalk-80 collection classesPublished by Association for Computing Machinery (ACM) ,1992
- Modula-3 language definitionACM SIGPLAN Notices, 1992
- Inheritance is not subtypingPublished by Association for Computing Machinery (ACM) ,1990
- A parallel object-oriented language with inheritance and subtypingPublished by Association for Computing Machinery (ACM) ,1990
- Encapsulation and inheritance in object-oriented programming languagesPublished by Association for Computing Machinery (ACM) ,1986