A comparative study of language support for generic programming

ACM SIGPLAN Notices

Volumn 38, Issue 11, 2003, Pages 115-134

  Garcia, Ronald ^a   Järvi, Jaakko ^a   Lumsdaine, Andrew ^a   Siek, Jeremy ^a   Willcock, Jeremiah ^a  

^a INDIANA UNIVERSITY   (United States)

Author keywords

C ; C++; Eiffel; Generic programming; Generics; Haskell; Java; Polymorphism; Standard ML

Indexed keywords

C (PROGRAMMING LANGUAGE); COMPUTER SOFTWARE REUSABILITY; ENCODING (SYMBOLS); JAVA PROGRAMMING LANGUAGE; TIME SHARING PROGRAMS;

GENERIC PROGRAMMING; POLYMORPHISM;

PROGRAM DIAGNOSTICS;

EID: 1442288533     PISSN: 03621340     EISSN: None     Source Type: Journal    
DOI: 10.1145/949343.949317     Document Type: Conference Paper

References (47)

1. M. H. Austern. Generic Programming and the STL. Professional computing series. Addison-Wesley, 1999.
2. R. Backhouse, P. Jansson, J. Jeuring, and L. Meertens. Generic programming - an introduction. In LNCS, volume 1608, pages 28-115. Springer-Verlag, 1999. Revised version of lecture notes for AFP'98.
3. G. Baumgartner, M. Jansche, and K. Läufer. Half & Half: Multiple Dispatch and Retroactive Abstraction for Java. Technical Report OSU-CISRC-5/01-TR08, Ohio State University, 2002.
4. R. Bellman. On a routing problem. Quarterly of Applied Mathematics, 16(1):87-90, 1958.
5. G. Bracha and J. Bloch. JSR 201: Extending the Java Programming Language with Enumerations, Autoboxing, Enhanced for loops and Static Import, December 2002. http://www.jcp.org/en/jsr/detail?id=201.
6. G. Bracha, N. Cohen, C. Kemper, S. Marx, et al. JSR 14: Add Generic Types to the Java Programming Language, April 2001. http://www.jcp.org/en/jsr/detail?id=014.
7. G. Bracha, M. Odersky, D. Stoutamire, and P. Wadler. Making the future safe for the past: Adding genericity to the Java programming language. In Proceedings of the ACM Conference on Object-Oriented Programming Languages, Systems, and Applications (OOPSLA), 1998.
8. K. B. Bruce. Typing in object-oriented languages: Achieving expressibility and safety. Technical report, Williams College, 1996.
9. M. Büchi and W. Weck. Compound types for Java. In Proceedings of OOPSLA'98, pages 362-373, October 1998. http://www.abo.fi/~mbuechi/publications/OOPSLA98.html.
10. R. Cartwright and G. L. Steele, Jr. Compatible genericity with run-time types for the Java programming language. In C. Chambers, editor, ACM Symposium on Object Oriented Programming: Systems, Languages, and Applications (OOPSLA), pages 201-215. ACM, 1998.
11. C. Cleeland, D. C. Schmidt, and T. H. Harrison. External polymorphism - an object structural pattern for transparently extending C++ concrete. In R. C. Martin, D. Riehle, and F. Buschmann, editors, Pattern Languages of Program Design, volume 3 of Software Pattern Series. Addison-Wesley, 1997.
12. W. R. Cook. A proposal for making Eiffel type-safe. The Computer Journal, 32(4):304-311, 1989.
13. E. Dijkstra. A note on two problems in connexion with graphs. Numerische Mathematik, 1:269-271, 1959.
14. A. Hejlsberg. The C# programming language. Invited talk at Object-Oriented Programming, Systems, Languages and Applications (OOPSLA), 2002.
15. R. Hinze and J. Jeuring. Generic Haskell: Practice and theory. In Summer School on Generic Programming, LNCS. Springer-Verlag, 2002/2003.
16. M. Howard, E. Bezault, B. Meyer, D. Colnet, E. Stapf, K. Arnout, and M. Keller. Type-safe covariance: competent compilers can catch all catcalls. Apr. 2003.
17. International Standardization Organization (ISO). ANSI/ISO Standard 14882, Programming Language C++. 1 rue de Varembé, Case postale 56, CH-1211 Genève 20, Switzerland, 1998.
18. M. Jazayeri, R. Loos, D. Musser, and A. Stepanov. Generic Programming. In Report of the Dagstuhl Seminar in Generic Programming, Schloss Dagstuhl, Germany, Apr. 1998.
19. J. Jeuring and P. Jansson. Polytypic programming. In J. Launchbury, E. Meijer, and T. Sheard, editors, Tutorial Text: 2nd Int. School on Advanced Functional Programming, volume 1129, pages 68-114. Springer-Verlag, Berlin, 1996.
20. M. P. Jones. Type classes with functional dependencies. In European Symposium on Programming, number 1782 in LNCS, pages 230-244. Springer-Verlag, March 2000.
21. S. P. Jones, J. Hughes, et al. Haskell 98: A Non-strict, Purely Functional Language, February 1999. http://www.haskell.org/onlinereport/.
22. S. P. Jones, M. Jones, and E. Meijer. Type classes: an exploration of the design space. In Haskell Workshop, June 1997.
23. N. M. Josuttis. The C++ Standard Library: A Tutorial and Reference. Addison-Wesley, 1999.
24. A. Kennedy and D. Syme. Design and implementation of generics for the NET Common Language Runtime. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), pages 1-12, Snowbird, Utah, June 2001.
25. G. Kiczales, E. Hilsdale, J. Hugunin, M. Kersten, J. Palm, and W. G. Griswold. An overview of AspectJ. Lecture Notes in Computer Science, 2072:327-355, 2001.
26. G. Kiczales, J. Lamping, A. Mendhekar, C. Maeda, C. V. Lopes, J.-M. Loingtier, and J. Irwin. Aspect-oriented programming. In M. Akşit and S. Matsuoka, editors, ECOOP'97 - Object-Oriented Programming, vol. 1241 of Lecture Notes in Computer Science, pages 220-242, 1994.
27. K. Läufer, G. Baumgartner, and V. F. Russo. Safe structural conformance for Java. Computer Journal, 43(6):469-481, 2001.
28. B. Magnusson. Code reuse considered harmful. Journal of Object-Oriented Programming, 4(3), Nov. 1991.
29. B. McNamara and Y. Smaragdakis. Static interfaces in C++. In First Workshop on C++ Template Programming, October 2000.
30. B. Meyer. Eiffel: the language. Prentice Hall, New York, NY, first edition, 1992.
31. B. Meyer. Static typing. In Addendum to the proceedings of the 10th annual conference on Object-oriented programming systems, languages, and applications, pages 20-29. ACM Press, 1995.
32. B. Meyer. The start of an Eiffel standard. Journal of Object Technology, 1(2):95-99, July/August 2002. www.jot.fm.
33. Microsoft Corporation. Generics in C#, September 2002. Part of the Gyro distribution of generics for .NET [34].
34. Microsoft Corporation. Generics for C# and .NET CLR, May 2003. http://research.microsoft.com/projects/clrgen/.
35. R. Milner, M. Tofte, R. Harper, and D. MacQueen. The definition of Standard ML (Revised). MIT Press, 1997.
36. A. C. Myers, J. A. Bank, and B. Liskov. Parameterized types for Java. In the 24th ACM Symposium on Principles of Programming Languages. Laboratory for Computer Science, MIT, January 1997.
37. N. C. Myers. Traits: a new and useful template technique. C++ Report, June 1995.
38. M. Odersky. Inferred type instantiation without prototypes for GJ. lampwww.epfl.ch/~odersky/ftp/local-ti.ps, Jan. 2002.
39. R. Prim. Shortest connection networks and some generalizations. Bell System Technical Journal, 36:1389-1401, 1957.
40. N. Ramsey. Toward a calculus of signatures. http://www.eecs.harvard.edu/~nr/pubs/sigcalc-abstract.html, October 2001.
41. J. Siek, L.-Q. Lee, and A. Lumsdaine. The Boost Graph Library: User Guide and Reference Manual. Addison-Wesley, 2002.
42. J. Siek, and A. Lumsdaine. Concept checking: Binding parametric polymorphism in C++. In First Workshop on C++ Template Programming, October 2000.
43. J. G. Siek, L.-Q. Lee, and A. Lumsdaine. The generic graph component library. In Proceedings of the 1999 ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, pages 399-414. ACM Press, 1999.
44. J. G. Siek, and A. Lumsdaine. The Matrix Template Library: A generic programming approach to high performance numerical linear algebra. In International Symposium on Computing in Object-Oriented Parallel Environments, 1998.
45. A. A. Stepanov, and M. Lee. The Standard Template Library. Technical Report X3J16/94-0095, WG21/N0482, ISO Programming Language C++ Project, May 1994.
46. B. Stroustrup. Design and Evolution of C++. Addison-Wesley, 1994.
47. T. L. Veldhuizen. Arrays in Blitz++. In Proceedings of the 2nd International Scientific Computing in Object-Oriented Parallel Environments (ISCOPE'98), volume 1505 of Lecture Notes in Computer Science. Springer-Verlag, 1998.