The Expression Problem Revisited Four New Solutions Using Generics

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3086, Issue , 2004, Pages 123-143

  Torgersen, Mads ^a  

^a AARHUS UNIVERSITY   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

REUSABILITY; COMPUTATIONAL LINGUISTICS; COMPUTER PROGRAMMING; JAVA PROGRAMMING LANGUAGE; PROBLEM ORIENTED LANGUAGES;

EXPRESSION PROBLEM; GENERIC EXTENSIONS; NEW SOLUTIONS; RUN-TIME TYPES; SOLUTION SPACE; SPECIFIC LANGUAGES; TYPE SAFETY; VIRTUAL OPERATIONS;

PROBLEM ORIENTED LANGUAGES; OBJECT ORIENTED PROGRAMMING;

EID: 35048863527     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-24851-4_6     Document Type: Article

References (20)

1. Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Abstraction and Reuse of Object-Oriented Designs. Addison-Wesley (1994)
2. Gosling, J., Joy, B., Steele, G., Bracha, G.: The Java Language Specification Third Edition. Third, edn. Addison-Wesley (2004)
3. Bracha, G., Odersky, M., Stoutamire, D., Wadler, P.: Making the future safe for the past: Adding genericity to the Java programming language. [20]
4. ECMA: C# language specification. http://www.ecma-international.org/ publications/standards/Ecma-334.htm (2002)
5. Kennedy, A., Syme, D.: Design and implementation of generics for the .NET common language runtime. In Norris, C., Fenwick, J.J.B., eds.: Proceedings of the ACM SIGPLAN '01 Conference on Programming Language Design and Implementation (PLDI-01). Volume 36.5 of ACM SIGPLAN Notices., N.Y., ACMPress (2001) 1-12
6. Reynolds, J.C.: User-defined types and procedural data as complementary approaches to data abstraction. In Schuman, S.A., ed.: New Directions in Algorthmic Languages. INRIA (1975) Reprinted in D. Gries, ed, Programming Methodology, Springer-Verlag, 1978 and in C. A. Gunter and J. C. Mitchell, eds, Theoretical Aspects of Object-Oriented Programmig, MIT Press, 1994.
7. Cook, W.R.: Object-oriented programming versus abstract data types. In: REX Workshop on Foundations of Object-oriented Languages. Number 489 in LNCS, Springer-Verlag (1990)
8. Wadler, P.: The expression problem. Posted on the Java Genericity mailing list (1998)
9. Bruce, K.B.: Some challenging typing issues in object-oriented languages. In Bono, V., Bugliesi, M., eds.: Electronic Notes in Theoretical Computer Science. Volume 82., Elsevier (2003)
10. Zenger, M., Odersky, M.: Extensible algebraic datatypes with defaults. In: Proceedings of the International Conference on Functional Programming. (2001)
11. Cartwright, R., Steele, G.L.: Compatible genericity with runtime-types for the Java programming language. [20]
12. Myers, A., Bank, J., Liskov, B.: Parameterized types for Java. In: Conf. Proceedings of the 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), Paris, France, POPL97, ACM Press. Neil D. Jones, editor. (1997)
13. Bracha, G., Cook, W.: Mixin-based inheritance. In: Object Oriented Programming: Systems, Languages and Applications/European Conference on Object-Oriented Programming, Ottawa, Canada, OOPSLA/ECOOP90, ACM Press. Norman K. Meyrowitz, editor. (1990) 303-311
14. Flatt, M., Krishnamurthi, S., Felleisen, M.: Classes and mixins. In: Principles of Programming Languages, San Diego, California, POPL98, ACM Press. David MacQueen, editor. (1998) 171-183
15. Krishnamurthi, S., Felleisen, M., Friedman, D.P.: Synthesizing object-oriented and functional design to promote re-use. In: European Conference on Object-Oriented Programming, Brussels, Belgium, ECOOP98, LNCS 1445, Springer Verlag. Eric Jul, editor. (1998) 91-113
16. Canning, P., Cook, W., Hill, W., Olthoff, W., Mitchell, J.: F-bounded polymorphism for object-oriented programming. In: ACM Conference on Functional Programming and Computer Architecture, ACM Press (1990) 273-280
17. Torgersen, M., Hansen, C.P., Ernst, E., von der Ahé, P., Bracha, G., Gaíter, N.: Adding wildcards to the Java programming language. In: Proceedings of the ACM Symposium of Applied Computing. (2004)
18. Bobrow, D.G., DeMichiel, L.G., Gabriel, R.P., Keene, S.E., Kiczales, G., Moon, D.A.: Common lisp object system specification. ACM Sigplan Notices, special issue 23 (1988)
19. Castagna, G.: Covariance and contravariance: Conflict without a cause. ACM Transactions on Programming Languages and Systems 17 (1995) 431-447
20. Object Oriented Programming: Systems, Languages and Applications, Vancouver, BC, ACM Press. Craig Chambers, editor. (1998)