Unconstraining genericity

Proceedings - 24th Technology of Object-Oriented Languages and Systems, TOOLS 1997

Volumn , Issue , 1997, Pages 340-349

  Evered, Mark ^a  

^a UNIVERSITY OF ULM   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COLLECTION CLASS; COMPLEX DATA; DATA COLLECTION; ELEMENT TYPE; GENERIC CLASS; GENERIC PROCEDURES; GENERICITY; PROPERTY;

EID: 3042609474     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (22)

1. M. Abadi, L. Cardelli: A Theory of Objects, Monographs in Computer Science, D. Gries and F. B. Schneider (eds.), Springer-Verlag, New York, Berlin, Heidelberg, 1996.
2. U.S. Dept. of Defence: "Programming Language ADA: Reference Manual", Springer-Verlag, 1981.
3. K. B. Bruce, et al: "On Binary Methods", Theory and Practice of Object Systems, Vol. 1:3, pp. 221-242, 1995.
4. K. B. Bruce, L. Peterson, A. Fiech: "Subtyping is not a good "Match" for object-oriented languages", Proc. Workshop on the Foundations of Object-Oriented Languages (FOOL) '97, Paris, France; 1997.
5. K. B. Bruce, A. Schuett, R. v. Gent: "PolyTOIL: A Type-Safe Polymorphic Object-Oriented Language", Proc. ECOOP '95, Aarhus, Denmark; in Lecture Notes in Computer Science 952, Springer-Verlag, 1995.
6. L. Cardelli, et al.: "Modula-3 Language Definition", SIGPLAN Notices, Vol. 27:8, pp. 15-42, 1992.
7. P. Canning, W. Cook, W. Hill, W. Olthoff, J. Mitchell "F-bounded Polymorphism for Object-oriented Programming", Proc. Functional Programming Languages and Computer Architecture, pp.273-280, 1989.
8. W. Cook: "A Proposal for Making Eiffel Type-Safe", Proc. ECOOP '89, 1989.
9. L. Cardelli, P. Wegner "On Understanding Types, Data Abstraction and Polymorphism", Computing Surveys, 17(4), pp. 471-522, 1985.
10. M. Day, R. Gruber, B. Liskov, A. C. Myers, "Subtypes vs. Where Clauses: Constraining Parametric Polymorphism", Proc. OOPSLA '95, pp. 156-158, 1995.
11. M. Evered, et al.: "How Well Do Inheritance Mechanisms support Inheritance Concepts?", Proc. JMLC '97, Linz, Austria; in Lecture Notes in Computer Science 1204, pp. 252-266, Springer-Verlag, 1997.
12. J. Gosling, B. Joy, G. Steele: The Java Language Specification, Addison-Wesley, Reading, MA, 1996.
13. A. Gawecki, F. Matthes: "Integrating Subtyping, Matching and Type Quantification: A Practical Perspective", Lecture Notes in Computer Science 1098, pp. 26-47, Springer-Verlag, 1996.
14. Goldberg, A., Robson, D. "Smalltalk-80: the language", Addison-Wesley Series in Computer Science, 1989.
15. D. Katiya, D. Luckham, J. Mitchell, S. Melda, "Polymorphism and Subtyping in Interfaces", ACM SIGPLAN Notices, 29(9), pp.22-34, 1994.
16. B. Meyer: Eiffel: the Language, Prentice-Hall, New York, 1992.
17. A. C. Myers, J. Bank, B. Liskov: "Parameterized Types for Java", Proc. Symposium on Principles of Programming Languages '97, Paris, France, pp.132-145, 1997.
18. D.R. Musser, A. Saine: "STL Tutorial and Reference Guide: C++ Programming with the Standard Template Library", Addison-Wesley, Reading, Mass., 1996.
19. M. Odersky, P. Wadler "Pizza into Java: Translating Theory into Practice", Proc. Symposium on Principles of Programming Languages '97, Paris, France, pp. 146-159, 1997.
20. C.H. Pedersen: "Extending Ordinary Inheritance Schemes to Include Generalization", Proc. OOPSLA '89, New Orleans, Louisiana, 1989.
21. P. Roe, C. Szyperski "Lightweight Parametric Polymorphism for Oberon", Proc.JMLC '97, Linz, Austria; in Lecture Notes in Computer Science 1204, pp. 140-154, Springer-Verlag, 1997.
22. Stroustrup, B. "The C++ Programming Language", Addison-Wesley, Bonn, 1989.