Subtyping is not a good “match” for object-oriented languages
- 1 January 1997
- book chapter
- Published by Springer Nature
- p. 104-127
- https://doi.org/10.1007/bfb0053376
Abstract
No abstract availableKeywords
This publication has 15 references indexed in Scilit:
- On Subtyping and MatchingPublished by Springer Nature ,2000
- PolyTOIL: A Type-Safe Polymorphic Object-Oriented LanguagePublished by Springer Nature ,2000
- A paradigmatic object-oriented programming language: Design, static typing and semanticsJournal of Functional Programming, 1994
- A type system for prototyping languagesPublished by Association for Computing Machinery (ACM) ,1994
- Safe type checking in a statically-typed object-oriented programming languagePublished by Association for Computing Machinery (ACM) ,1993
- A parallel object-oriented language with inheritance and subtypingACM SIGPLAN Notices, 1990
- Strong typing of object-oriented languages revisitedACM SIGPLAN Notices, 1990
- Abstract types have existential typeACM Transactions on Programming Languages and Systems, 1988
- Encapsulation and inheritance in object-oriented programming languagesPublished by Association for Computing Machinery (ACM) ,1986
- On understanding types, data abstraction, and polymorphismACM Computing Surveys, 1985