An extended comparative study of language support for generic programming

Journal of Functional Programming

Volumn 17, Issue 2, 2007, Pages 145-205

  Garcia, Ronald ^a   J̈arvi, Jaakko ^b   Lumsdaine, Andrew ^a   Siek, Jeremy ^c   Willcock, Jeremiah ^a  

^a INDIANA UNIVERSITY   (United States)

^b TEXAS A AND M UNIVERSITY   (United States)

^c Rice University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS AND DATA STRUCTURES; ASSOCIATED TYPES; COMPARATIVE STUDIES; COMPREHENSIVE COMPARISONS; GENERIC ALGORITHM; GENERIC PROGRAMMING; MULTIPLE CONSTRAINT; SEPARATE COMPILATION;

COMPUTER PROGRAMMING;

JAVA PROGRAMMING LANGUAGE;

EID: 33847161131     PISSN: 09567968     EISSN: 14697653     Source Type: Journal    
DOI: 10.1017/S0956796806006198     Document Type: Article

References (56)

1. Austern, M. H. (1998) Generic programming and the STL: Using and extending the C++ Standard Template Library. Professional Computing Series. Boston, MA, USA: Addison-Wesley.
2. Backhouse, R., Jansson, P., Jeuring, J. & Meertens, L. (1999) Generic programming - an introduction. In: Pages 28-115 of: S. D. Swierstra, H. Doaitse, P. Rangel and J. M. Oliveira (eds.), Advanced Functional Programming, Third International School, Braga, Portugal, revised lectures. Lecture Notes in Computer Science, vol. 1608. Springer-Verlag.
3. Baumgartner, G., Jansche, M. & Läufer, K. (2002) Half & Half: Multiple Dispatch and Retroactive Abstraction for Java. Tech. rept. OSU-CISRC-5/01-TR08. Ohio State University.
4. Bellman, R. (1958) On a routing problem. Quart. J. Appl. Math. 16(1), 87-90.
5. Bracha, G., Odersky, M., Stoutamire, D. & Wadler, P. (1998) Making the future safe for the past: adding genericity to the Java programming language. Pages 183-200 of: OOPSLA '98: Proceedings of the 13th ACM SIGPLAN Conference on Object-oriented Programming, Systems, Languages, and Applications. ACM Press.
6. Bruce, K. B. (1996) Typing in object-oriented languages: Achieving expressibility and safety. Tech. rept. Williams College.
7. Chakravarty, M. M. T., Keller, G. & Peyton Jones, S. (2005a) Associated type synonyms. ICFP '05: Proceedings of the International Conference on Functional Programming. ACM Press.
8. Chakravarty, M. M. T., Keller, G., Peyton Jones, S. & Marlow, S. (2005b) Associated types with class. Pages 1-13 of: POPL '05: Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. ACM Press.
9. Chambers, C. & the Cecil Group. (2002) The Cecil language: Specification and rationale, version 3.1. University of Washington, Computer Science and Engineering, http://www.cs.washington.edu/research/projects/cecil/.
10. Cleeland, C., Schmidt, D. C. & Harrison, T. H. (1997) External polymorphism - an object structural pattern for transparently extending C++ concrete data types. In: Martin, R. C., Riehle, D. & Buschmann, F. (eds.), Pattern Languages of Program Design. Software Pattern Series, vol. 3. Addison-Wesley.
11. Cook, W. R. (1989) A proposal for making Eiffel type-safe. The Comput. J. 32(4), 304-311.
12. Dijkstra, E. W. (1959) A note on two problems in connexion with graphs. Numerische Mathematik, 1, 269-271.
13. ECMA (2005) Standard: Eiffel analysis, design and programming language. ECMA International. Draft 5.00.00-1.
14. Gamma, E., Helm, R., Johnson, R. & Vlissides, J. (1995) Design Patterns: Elements of reusable object-oriented software. Professional Computing Series. Addison-Wesley Longman.
15. Garcia, R., Järvi, J., Lumsdaine, A., Siek, J. & Willcock, J. (2003) A comparative study of language support for generic programming. Pages 115-134 of: OOPSLA '03: Proceedings of the 18th Annual ACM SIGPLAN Conference on Object-oriented Programing, Systems, Languages, and Applications. ACM Press.
16. Gosling, J., Joy, B., Steele, G. & Bracha, G. (2005) The Java language specification, third edition. Addison-Wesley Longman.
17. Graph Library URL (2005) Available at http://www.osl.iu.edu/research/ comparing/.
18. Haack, C. & Wells, J. B. (2003) Type error slicing in implicitly typed higher-order languages. In: Pages 284-301 of: Degano, P. (ed.), Programming languages and systems: 12th European Symposium on Programming, ESOP 2003, Warsaw, Poland. Lecture Notes in Computer Science, vol. 2618. New York, NY: Springer-Verlag.
19. Hinze, R. & Jeuring, J. (2003) Generic Haskell: Practice and theory. In: Pages 1-56 of: Backhouse, R. & Gibbons, J. (eds.), Generic programming: Advanced lectures. Lecture Notes in Computer Science, vol. 2793. Springer-Verlag.
20. Howard, M., Bezault, Eric, Meyer, Bertrand, Colnet, Dominique, Stapf, Emmanuel, Arnout, K. & Keller, M. (2003) Type-safe covariance: competent compilers can catch all catcalls. http://www.inf.ethz.ch/~meyer/.
21. Järvi, J., Willcock, J. & Lumsdaine, A. (2005) Associated types and constraint propagation for mainstream object-oriented generics. OOPSLA '05: Proceedings of the 20th Annual ACM SIGPLAN Conference on Object-oriented Programing, Systems, Languages, and Applications. To appear.
22. Jazayeri, M., Loos, R., Musser, D. & Stepanov, A. 1998 (Apr.) Generic Programming. Report of the Dagstuhl seminar on generic programming.
23. Jeuring, J. & Jansson, P. (1996) Polytypic programming. In: Pages 68-114 of: Launchbury, J., Meijer, E. & Sheard, T. (eds.), Advanced functional programming, second international school-tutorial text. Lecture Notes in Computer Science, vol. 1129. Springer-Verlag.
24. Jones, M. P. (2000) Type classes with functional dependencies. Pages 230-244 of: ESOP W: Proceedings of the 9th European Symposium on Programming Languages and Systems. Lecture Notes in Computer Science, vol. 1782. Springer-Verlag.
25. Kennedy, A. & Syme, D. (2001) Design and implementation of generics for the .NET Common Language Runtime. Pages 1-12 of: PLDI '01: Proceedings of the ACM SIGPLAN 2001 Conference on Programming Language Design and Implementation. ACM Press.
26. Kiczales, G., Lamping, J., Mendhekar, A., Maeda, C., Lopes, C., Loingtier, J.-M. & Irwin, J. (1997) Aspect-oriented programming. In: Pages 220-242 of: Akşit, M. & Matsuoka, S. (eds.), ECOOP '97- Object-oriented Programming 11th European Conference, Jyväskylä, Finland. Lecture Notes in Computer Science, vol. 1241. Springer-Verlag.
27. Kiczales, G., Hilsdale, E., Hugunin, J., Kersten, M., Palm, J. & Griswold, W. G. (2001) An overview of AspectJ. In: Pages 327-353 of: Knudsen, J. L. (ed.), ECOOP 2001 - Object-oriented Programming 15th European Conference. Lecture Notes in Computer Science, vol. 2072. Springer-Verlag.
28. Läufer, K., Baumgartner, G. & Russo, V. F. (2000) Safe structural conformance for Java. The Comput. J. 43(6), 469-481.
29. Lee, L.-Q., Siek, J. G. & Lumsdaine, A. (1999) The Generic Graph Component Library. Pages 399-414 of: OOPSLA '99: Proceedings of the 14th ACM SIGPLAN Conference on Object-oriented Programming, Systems, Languages, and Applications. ACM Press.
30. Leroy, X. (2000) The Objective Caml system: Documentation and user's manual. With Damien Doligez, Jacques Garrigue, Didier Rémy, and Jérôme Vouillon.
31. Leroy, X., Doligez, D., Garrigue, J., Rémy, D. & Vouillon, J. (2003) The Objective Caml documentation and user's manual.
32. Litvinov, V. (1998) Contraint-based polymorphism in Cecil: towards a practical and static type system. Pages 388-411 of: OOPSLA '98: Proceedings of the 13th ACM SIGPLAN Conference on Object-oriented Programming, Systems, Languages, and Applications. ACM Press.
33. Magnusson, B. (1991) Code reuse considered harmful. J. Object-oriented Program. 4(3).
34. McNamara, B. & Smaragdakis, Y. (2000) Static interfaces in C++. First Workshop on C++ Template Programming.
35. Meyer, B. (1992) Eiffel: The language. First edn. Prentice Hall.
36. Meyer, B. (1995) Static typing. Pages 20-29 of: OOPSLA '95: Addendum to the Proceedings of the 10th Annual Conference on Object-oriented Programming Systems, Languages, and Applications. ACM Press.
37. Meyer, B. (2002) The start of an Eiffel standard. J. Object Technology, 1(2), 95-99. http://www.jot.fm/.
38. Microsoft Corporation (2002) Generics in C#. Part of the Gyro distribution of generics for .NET available at http://research.microsoft.com/ projects/clrgen/.
39. Microsoft Corporation (2005) C# version 2.0 specification, march 2005 draft. http://msdn.microsoft.com/vcsharp/programming/language.
40. Milner, R., Tofte, M., Harper, R. & MacQueen, D. (1997) The definition of Standard ML (revised). MIT Press.
41. Myers, N. C. (1995) Traits: a new and useful template technique. C++ report.
42. Peyton Jones, S., Jones, M. & Meijer, E. (1997) Type classes: an exploration of the design space. Proceedings of the Second Haskell Workshop.
43. Peyton Jones, S., Hughes, J. et al. (1999) Haskell 98: A non-strict, purely functional language. http://www.haskell.org/onlinereport/ .
44. Prim, R. C. (1957) Shortest connection networks and some generalizations. Bell system technical journal, 36, 1389-1401.
45. Ramsey, N., Fisher, K. & Govereau, P. (2005) An expressive language of signatures. ICFP '05: Proceedings of the Tenth ACM SIGPLAN International Conference on Functional Programming. To appear.
46. Rémy, D. & Vouillon, J. (1997) Objective ML: a simple object-oriented extension of ML. Pages 40-53 of: POPL '97: Proceedings of the 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. ACM Press.
47. Rémy, D. & Vouillon, J. (1998) The reality of virtual types for free! Unpublished note available electronically.
48. Siek, J. (2005) A language for generic programming. Ph.D. thesis, Indiana University.
49. Siek, J. & Lumsdaine, A. (2000) Concept checking: Binding parametric polymorphism in C++. First Workshop on C++ Template Programming.
50. Siek, J. & Lumsdaine, A. (2005a) Essential language support for generic programming. Pages 73-84 of: PLDI '05: Proceedings of the ACM SIGPLAN 2005 Conference on Programming Language Design and Implementation. ACM Press.
51. Siek, J. & Lumsdaine, A. (2005b) Language requirements for large-scale generic libraries. GPCE '05: Proceedings of the Fourth International Conference on Generative Programming and Component Engineering. To appear.
52. Siek, J., Lee, L.-Q. & Lumsdaine, A. (2002) The Boost Graph Library: User guide and reference manual. Addison-Wesley Longman.
53. Siek, J., Gregor, D., Garcia, R., Willcock, J., Järvi, J. & Lumsdaine, A. (2005) Concepts for C++0x. Tech. rept. N 1758=05-0018. ISO/IEC JTC 1, Information Technology, Subcommittee SC 22, Programming Language C++.
54. Stroustrup, B. (1994) Design and evolution of C++. Addison-Wesley Longman.
55. Stroustrup, B. & Dos Reis, G. (2005) A concept design (rev. 1). Tech. rept. N1782=05-0042. ISO/IEC JTC 1, Information Technology, Subcommittee SC 22, Programming Language C++.
56. Torgersen, M., Hansen, C. P., Ernst, E., von der Ahé, P., Bracha, G. & Gafter, N. (2004) Adding wildcards to the Java programming language. Pages 1289-1296 of: SAC '04: Proceedings of the 2004 ACM Symposium on Applied Computing. ACM Press.