Signatures: A language extension for improving type abstraction and subtype polymorphism in C++
- 1 August 1995
- journal article
- Published by Wiley in Software: Practice and Experience
- Vol. 25 (8), 863-889
- https://doi.org/10.1002/spe.4380250803
Abstract
No abstract availableKeywords
This publication has 17 references indexed in Scilit:
- Subtyping recursive typesACM Transactions on Programming Languages and Systems, 1993
- Type matching, type-graphs, and the Schanuel conjectureACM Transactions on Programming Languages and Systems, 1992
- Modula-3 language definitionACM SIGPLAN Notices, 1992
- Report on the programming language HaskellACM SIGPLAN Notices, 1992
- An implementation of standard ML modulesPublished by Association for Computing Machinery (ACM) ,1988
- The type inference and coercion facilities in the scratchpad II interpreterPublished by Association for Computing Machinery (ACM) ,1987
- An introduction to Trellis/OwlPublished by Association for Computing Machinery (ACM) ,1986
- On understanding types, data abstraction, and polymorphismACM Computing Surveys, 1985
- Data types are valuesACM Transactions on Programming Languages and Systems, 1985
- A semantics of multiple inheritanceLecture Notes in Computer Science, 1984