MultiJava: Modular open classes and symmetric multiple dispatch for Java

SIGPLAN Notices (ACM Special Interest Group on Programming Languages)

Volumn 35, Issue 10, 2000, Pages 130-145

  Clifton, Curtis ^a   Leavens, Gary T ^a   Chambers, Craig ^b   Millstein, Todd ^b  

^a Iowa State University   (United States)

^b University of Washington   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 1442309404     PISSN: 03621340     EISSN: None     Source Type: Journal    
DOI: 10.1145/354222.353181     Document Type: Article

References (34)

1. Rakesh Agrawal, Linda G. DeMichiel, and Bruce G. Lindsay. Static Type Checking of Multi-Methods. OOPSLA'91 Conference Proceedings, Phoenix, AZ, October, 1991, volume 26, number 11 of ACM SIGPIAN Notices, pp. 113-128. ACM, New York, November, 1991.
2. Ken Arnold and James Gosling. The Java Programming Language. Second Edition, Addison-Wesley, Reading, Mass., 1998.
3. François Bourdoncle and Stephan Merz. Type Checking Higher-Order Polymorphic Multi-Methods. Conference Record of POPL '97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Paris, France, pp. 302-315. ACM, New York, January 1997.
4. John Boyland and Giuseppe Castagna. Parasitic Methods: An Implementation of Multi-Methods for Java. Proceedings of the ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications, volume 32, number 10 of ACM SIGPLAN Notices, pp. 66-76. ACM, New York, November 1997.
5. Kim Bruce, Luca Cardelli, Giuseppe Castagna, The Hopkins Object Group, Gary T. Leavens, and Benjamin Pierce. On Binary Methods. Theory and Practice of Object Systems, 1(3):221-242, 1995.
6. Luca Cardelli. A Semantics of Multiple Inheritance. Information and Computation, 76(2/3): 138-164, February-March, 1988. An earlier version appeared in Semantics of Data Types Symposium, LNCS 173, pp. 51-66, Springer-Verlag, 1984.
7. Luca Cardelli. A Semantics of Multiple Inheritance. Information and Computation, 76(2/3): 138-164, February-March, 1988. An earlier version appeared in Semantics of Data Types Symposium, LNCS 173, pp. 51-66, Springer-Verlag, 1984.
8. Giuseppe Castagna, Giorgio Ghelli, and Giuseppe Longo. A Calculus for Overloaded Functions with Subtyping. Proceedings of the 1992 ACM Conference on Lisp and Functional Programming, San Francisco, June, 1992, pp. 182-192, volume 5, number 1 of LISP Pointers. ACM, New York, January-March, 1992.
9. Giuseppe Castagna. Covariance and contravariance: conflict without a cause. ACM Transactions on Programming Languages and Systems, 17(3):431-447, 1995.
10. Giuseppe Castagna. Object-Oriented Programming A Unified Foundation, Birkhäuser, Boston, 1997.
11. Craig Chambers. Object-Oriented Multi-Methods in Cecil. ECOOP '92 Conference Proceedings, Utrecht, the Netherlands, June/July, 1992, volume 615 of Lecture Notes in Computer Science, pp. 33-56. Springer-Verlag, Berlin, 1992.
12. Craig Chambers. The Cecil Language: Specification and Rationale: Version 2.0. Department of Computer Science and Engineering, University of Washington, December, 1995. http:// www.cs.washington.edu/research/projects/cecil/www/Papers/ cecil-spec.html.
13. Craig Chambers and Weimin Chen. Efficient Multiple and Predicate Dispatching. OOPSLA '99 Conference Proceedings, pp. 238-255. October, 1999. Published as SIGPLAN Notices 34(10), October, 1999.
14. Craig Chambers and Weimin Chen. Efficient Multiple and Predicate Dispatching. OOPSLA '99 Conference Proceedings, pp. 238-255. October, 1999. Published as SIGPLAN Notices 34(10), October, 1999.
15. Craig Chambers and Gary T. Leavens. Typechecking and Modules for Multi-Methods. ACM Transactions on Programming Languages and Systems, 17(6):805-843. November, 1995.
16. Craig Chambers. Towards Diesel, a Next-Generation OO Language after Cecil. Invited talk, The Fifth Workshop on Foundations of Object-oriented Languages, San Diego, California, January 1998.
17. William Cook. Object-Oriented Programming versus Abstract Data Types. Foundations of Object-Oriented Languages, REX School/Workshop Proceedings, Noordwijkerhout, the Netherlands, May/June, 1990, volume 489 of Lecture Notes in Computer Science, pp. 151-178. Springer-Verlag, New York, 1991.
18. Neal Feinberg, Sonya E. Keene, Robert O. Mathews, and P. Tucker Withington. The Dylan Programming Book. Addison-Wesley Longman, Reading, Mass., 1997.
19. Robert Bruce Findler and Matthew Flatt. Modular Object-Oriented Programming with Units and Mixins. International Conference on Functional Programming, Baltimore, Maryland, September 1998.
20. Erich Gamma, Richard Helm, Ralph Johnson, and John Vlissides. Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, Reading, Mass., 1995.
21. James Gosling, Bill Joy, Guy Steele, and Gilad Bracha. The Java Language Specification, Second Edition. Addison-Wesley, Reading, Mass., 2000.
22. D. H. H. Ingalls. A Simple Technique for Handling Multiple Polymorphism. In Norman Meyrowitz, editor, OOPSLA '86 Conference Proceedings, Portland, Oregon, November, 1986, volume 21, number 11 of ACM SIGPLAN Notices, pp. 347-349. ACM, New York, October, 1986.
23. Gregor Kiczales, John Lamping, Anurag Mendhekar, Chris Maeda, Cristina Videira Lopes, Jean-Marc Loingtier, John Irwin. Aspect-Oriented Programming. In proceedings of the Eleventh European Conference on Object-Oriented Programming, Finland. Springer-Verlag LNCS 1241. June 1997.
24. Gary T. Leavens and Todd D. Millstein. Multiple Dispatch as Dispatch on Tuples. Conference on Object-oriented Programming, Systems, Languages, and Applications, Vancouver, British Columbia, October 1998.
25. Robert C. Martin. Acyclic Visitor. In Robert C. Martin, Dirk Riehle, Frank Buschmann (editors), Pattern Languages of Program Design 3, pp. 93-103. Addison-Wesley Longman, Inc., Reading, Mass., 1998.
26. Todd Millstein and Craig Chambers. Modular Statically Typed Multimethods. In proceedings of the Fourteenth European Conference on Object-Oriented Programming. Lisbon, Portugal, July 14-18, 1999. Volume 1628 of Lecture Notes in Computer Science, pp. 279-303, Springer-Verlag, 1999.
27. Todd Millstein and Craig Chambers. Modular Statically Typed Multimethods. To appear in Information and Computation.
28. W. B. Mugridge, J. Hamer, and J. G. Hosking. Multi-Methods in a Statically-Typed Programming Language. ECOOP '91 Conference Proceedings, Geneva, Switzerland, July, 1991, volume 512 of Lecture Notes in Computer Science; Springer-Verlag, New York, 1991.
29. Martin E. Nordberg III. Default and Extrinsic Visitor. In Robert C. Martin, Dirk Riehle, Frank Buschmann (editors), Pattern Languages of Program Design 3, pp. 105-123. Addison-Wesley Longman, Inc., Reading, Mass., 1998.
30. Martin Odersky and Philip Wadler. Pizza into Java: Translating Theory into Practice. Conference Record of POPL '97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Paris, France, pp. 146-159. ACM, New York, January 1997.
31. Andreas Paepcke. Object-Oriented Programming: The CLOS Perspective. MIT Press, 1993.
32. Andrew Shalit. The Dylan Reference Manual: The Definitive Guide to the New Object-Oriented Dynamic Language. Addison-Wesley, Reading, Mass., 1997.
33. Guy L. Steele Jr. Common Lisp: The Language (second edition). Digital Press, Bedford, MA, 1990.
34. John Vlissides. Visitor into Frameworks. C++ Report, 11(10):40-46. SIGS Publications, November/December 1999.