An object-oriented approach to datatype-generic programming

WGP'06 - Proceedings of the ACM SIGPLAN 2006 Workshop on Generic Programming

Volumn 2006, Issue , 2006, Pages 96-106

  Moors, Adriaan ^a   Piessens, Frank ^a   Joosen, Wouter ^a  

^a UNIVERSITY OF LEUVEN   (Belgium)

Author keywords

Datatype genericity; Polytypic programming; Scala

Indexed keywords

ABSTRACTING; DATA REDUCTION; DIGITAL LIBRARIES; ROBUSTNESS (CONTROL SYSTEMS); XML;

DATATYPE-GENERIC PROGRAMMING (DGP); DATATYPE-GENERICITY; FUNCTIONAL LANGUAGES; POLYTYPIC PROGRAMMING; SCALA;

OBJECT ORIENTED PROGRAMMING;

EID: 33750907506     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1159861.1159875     Document Type: Conference Paper

References (38)

1. Eric E. Allen, Jonathan Bannet, and Robert Cartwright. A first-class approach to genericity. In Ron Crocker and Guy L. Steele Jr., editors, Proceedings of the 2003 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications, OOPSLA 2003, October 26-30, 2003, Anaheim, CA, USA, pages 96-114. ACM, 2003.
2. Kim B. Bruce, Martin Odersky, and Philip Wadler. A statically safe alternative to virtual types. In Jul [22], pages 523-549.
3. Luca Cardelli, editor. ECOOP 2003 - Object-Oriented Programming, 17th European Conference, Darmstadt, Germany, July 21-25, 2003, Proceedings, volume 2743 of Lecture Notes in Computer Science, Springer, 2003.
4. Luca Cardelli, James E. Donahue, Lucille Glassman, Mick J. Jordan, Bill Kalsow, and Greg Nelson. Modula-3 language definition. SIGPLAN Notices, 27(8):15-42, 1992.
5. Dave Clarke, Sophia Drossopoulou, James Noble, and Tobias Wrigstad. Tribe: More types for virtual classes. December 2005.
6. Curtis Clifton, Todd Millstein, Gary T. Leavens, and Craig Chambers. MultiJava: Design rationale, compiler implementation, and applications. ACM Trans. Program. Lang. Syst., 28(3):517-575, 2006.
7. Burak Emir, Andrew Kennedy, Claudio Russo, and Dachuan Yu. Variance and generalized constraints for C# generics. In Dave Thomas, editor, ECOOP 2006 - Object-Oriented Programming, 20th European Conference, Nantes, FR, July 3-7, 2006, Proceedings, Lecture Notes in Computer Science. Springer, 2006.
8. Erik Ernst, gbeta - a Language with Virtual Attributes, Block Structure, and Propagating, Dynamic Inheritance. PhD thesis, Department of Computer Science, University of Aarhus, Århus, Denmark, 1999.
9. Erik Ernst. Family polymorphism. In Jørgen Lindskov Knudsen, editor, ECOOP 2001 - Object-Oriented Programming, 15th European Conference, Budapest, Hungary, June 18-22, 2001, Proceedings, volume 2072 of Lecture Notes in Computer Science, pages 303-326. Springer, 2001.
10. Erik Ernst, Klaus Ostermann, and William R. Cook. A virtual class calculus. In J. Gregory Morrisett and Simon L. Peyton Jones, editors, Proceedings of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2006, Charleston, South Carolina, USA, January 11-13, 2006, pages 270-282. ACM, 2006.
11. Michael Ernst, Craig S. Kaplan, and Craig Chambers. Predicate dispatching: A unified theory of dispatch. In Jul [22], pages 186-211.
12. Martin Odersky et al. An overview of the Scala programming language. Technical Report LAMP-REPORT-2006-001, EPFL Lausanne, Switzerland, 2006. Second Edition.
13. Matthew Flatt, Shriram Krishnamurthi, and Matthias Felleisen. Classes and mixins. In MacQueen and Cardelli [25], pages 171-183.
14. Jeremy Gibbons. Design patterns as higher-order datatype-generic programs. 2006. Submitted.
15. Jeremy Gibbons and Bruno C. d. S. Oliveira. The essence of the iterator pattern. To appear in Mathematically-Structured Functional Programming, 2006.
16. Ralf Hinze, Johan Jeuring, and Andres Löh. Type-indexed data types. Sci. Comput. Program., 51(1-2):117-151, 2004.
17. Ralf Hinze, Andres Löh, and Bruno C. D. S. Oliveira. "Scrap your boilerplate" reloaded. In Masami Hagiya and Philip Wadler, editors, FLOPS, volume 3945 of Lecture Notes in Computer Science, pages 13-29. Springer, 2006.
18. Atsushi Igarashi, Benjamin C. Pierce, and Philip Wadler. Feather-weight Java: a minimal core calculus for Java and GJ. ACM Trans. Program. Lang. Syst., 23(3):396-450, 2001.
19. Patrik Jansson and Johan Jeuring. PolyP - A polytypic programming language extension. In Lee et al. [24], pages 470-482.
20. Jaakko Järvi, Jeremiah Willcock, and Andrew Lumsdaine. Associated types and constraint propagation for mainstream object-oriented generics. In Johnson and Gabriel [21], pages 1-19.
21. Ralph Johnson and Richard P. Gabriel, editors. Proceedings of the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2005, October 16-20, 2004, San Diego, CA, USA. ACM, 2005.
22. Eric Jul, editor. ECOOP'98 - Object-Oriented Programming, 12th European Conference, Brussels, Belgium, July 20-24, 1998, Proceedings, volume 1445 of Lecture Notes in Computer Science. Springer, 1998.
23. Andrew Kennedy and Don Syme. Design and implementation of generics for the .NET common language runtime. In Proceedings of the 2001 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2001, June 20-22, 2001, Snowbird, Utah, USA, pages 1-12. ACM, 2001.
24. Peter Lee, Fritz Henglein, and Neil D. Jones, editors. Proceedings of the 2001 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2001, June 20-22, 2001, Snowbird, Utah, USA. ACM, 1997.
25. David B. MacQueen and Luca Cardelli, editors. Proceedings of the 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 1998, San Diego, CA, USA, January 19-21, 1998. ACM, 1998.
26. Martin Odersky et al. The Scala homepage, 2006. http://scala.epfl.ch/.
27. Gregory Neverov and Paul Roe. Towards a fully-reflective meta-programming language. In Proceedings of the Twenty-eighth Australasian conference on Computer Science, CRPIT '38, pages 151-158, Darlinghurst, Australia, Australia, 2005. Australian Computer Society, Inc.
28. Nathaniel Nystrom, Stephen Chong, and Andrew C. Myers. Scalable extensibility via nested inheritance. In John M. Vlissides and Douglas C. Schmidt, editors, OOPSLA, pages 99-115. ACM, 2004.
29. Martin Odersky, Vincent Cremet, Christine Röckl, and Matthias Zenger. A nominal theory of objects with dependent types. In Cardelli [3], pages 201-224.
30. Martin Odersky and Philip Wadler. Pizza into Java: Translating theory into practice. In Lee et al. [24], pages 146-159.
31. Martin Odersky, Christoph Zenger, and Matthias Zenger. Colored local type inference. In Proceedings of the 28th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2001, London, UK, January 17-19, 2001, pages 41-53. ACM, 2001.
32. Martin Odersky and Matthias Zenger. Scalable component abstractions. In Johnson and Gabriel [21], pages 41-57.
33. Klaus Ostermann. Dynamically composable collaborations with delegation layers. In Boris Magnusson, editor, ECOOP 2002 - Object-Oriented Programming, 16th European Conference, Malaga, Spain, June 10-14, 2002, Proceedings, volume 2374 of Lecture Notes in Computer Science, pages 89-110. Springer, 2002.
34. Benjamin C. Pierce and David N. Turner. Local type inference. In MacQueen and Cardelli [25], pages 252-265.
35. Didier Rémy and Jérôme Vouillon. On the (un)reality of virtual types, March 2000. In preparation (http://gallium.inria.fr/~remy/ work/virtual/).
36. Nathanael Schärli, Stéphane Ducasse, Oscar Nierstrasz, and Andrew P. Black. Traits: Composable units of behaviour. In Cardelli [3], pages 248-274.
37. Tim Sheard. Using MetaML: A staged programming language. In Advanced Functional Programming, pages 207-239, 1998.
38. Matthias Zenger and Martin Odersky. Independently extensible solutions to the expression problem. Technical Report IC/2004/33, EPFL Lausanne, Switzerland, 2004.