Lightweight parametric polymorphism for Oberon
- 1 January 1997
- book chapter
- Published by Springer Nature
- p. 140-154
- https://doi.org/10.1007/3-540-62599-2_36
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Towards an ML-style polymorphic type system for CPublished by Springer Nature ,1996
- Subtypes vs. where clausesACM SIGPLAN Notices, 1995
- Bounded Quantification Is UndecidableInformation and Computation, 1994
- Object-Oriented ProgrammingPublished by Springer Nature ,1993
- An ad hoc approach to the implementation of polymorphismACM Transactions on Programming Languages and Systems, 1991
- On understanding types, data abstraction, and polymorphismACM Computing Surveys, 1985
- Abstraction mechanisms in CLUCommunications of the ACM, 1977