Multiple Dispatch as Dispatch on Tuples

SIGPLAN Notices (ACM Special Interest Group on Programming Languages)

Volumn 33, Issue 10, 1998, Pages 374-383

  Leavens, Gary T ^a   Millstein, Todd D ^b  

^a Iowa State University   (United States)

^b University of Washington   (United States)

Author keywords

Binary methods; Generic functions; Language design; Multimethods; Multiple dispatch; Semantics; Single dispatch; Tuple; Typing

Indexed keywords

EID: 0346877028     PISSN: 03621340     EISSN: None     Source Type: Journal    
DOI: 10.1145/286942.286977     Document Type: Article

References (38)

1. American National Standards Institute. Reference Manual for the Ada Programming Language. ANSI/MILSTD 1815A, February, 1983.
2. Roberto M. Amadio and L. Cardelli. Subtyping recursive types. ACM Transactions on Programming Languages and Systems, 15(4):575-631, 1993.
3. Ken Arnold and James Gosling. The Java Programming Language. Second Edition, Addison-Wesley, Reading, Mass., 1998.
4. Gerald Baumgartner, Konstantin Läufer, Vincent F. Russo. On the Interaction of Object-Oriented Design patterns and Programming Languages. Technical Report CSD-TR-96-020, Department of Computer Science, Purdue University, February 1996.
5. Daniel G. Bobrow, Kenneth Kahn, George Kiczales, Larry Masinter, Mark Stefik, and Frank Zdybel. CommonLoops: Merging Lisp and Object-Oriented Programming. In Norman Meyrowitz (editor), OOPSLA '86 Conference Proceedings, Portland, Oregon, September 1986, volume 21, number 11 of ACM SIGPLAN Notices, pp. 17-29. ACM, New York, November, 1986.
6. 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.
7. 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 (OOPSLA '97). Volume 32, number 10 of ACM SIGPLAN Notices, pp. 66-76. ACM, New York, November 1997.
8. Kim B. Bruce and Jon Crabtree and Thomas P. Murtagh and Robert van Gent and Allyn Dimock and Robert Muller. Safe and decidable type checking in an object-oriented language. In Andreas Paepcke (editor), OOPSLA '93 Conference Proceedings. Volume 28, number 10 of ACM SIGPLAN Notices, pp. 29-46. ACM, New York, October, 1993.
9. 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.
10. Luca Cardelli. A Semantics of Multiple Inheritance. Information and Computation, 76(2/3):138-164, February/March, 1988. An earlier version appeared in the 1984 Semantics of Data Types Symposium, LNCS 173, pp. 51-66, Springer-Verlag, 1984.
11. Luca Cardelli. A Semantics of Multiple Inheritance. Information and Computation, 76(2/3):138- 164, February/March, 1988. An earlier version appeared in the 1984 Semantics of Data Types Symposium, LNCS 173, pp. 51-66, Springer-Verlag, 1984.
12. Giuseppe Castagna, Giorgio Ghelli, and Giuseppe Longo. A Calculus for Overloaded Functions with Subtyping. In 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.
13. Giuseppe Castagna. Covariance and contravariance: conflict without a cause. ACM Transactions on Programming Languages and Systems, 17(3):431-447, 1995. See also [Chapter 5, Castagna 97].
14. Giuseppe Castagna. Object-Oriented Programming A Unified Foundation. Birkhäuser, Boston, 1997.
15. Craig Chambers. Object-Oriented Multi-Methods in Cecil. In O. Lehrmann-Madsen, editor, 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.
16. 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
17. 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.
18. Craig Chambers and Gary T. Leavens. BeCecil, A Core Object-Oriented Language with Block Structure and Multimethods: Semantics and Typing. Department of Computer Science, Iowa State University, TR #96-17a, April 1997. ftp://ftp.cs.iastate.edu/pub/techreports/TR96-17/TR.ps.Z; the appendix sections only are in ftp://ftp.cs.iastate.edu/pub/techreports/TR96-17/appendix.ps.Z.
19. William Cook, Walter L. Hill, and Peter S. Canning. Inheritance is not Subtyping. In Conference Record of the Seventeenth Annual ACM Symposium on Principles of Programming Languages, San Francisco, California, pp 125-135. ACM, New York, 1990.
20. William Cook. Object-Oriented Programming versus Abstract Data Types. In J.W. de Bakker, W.P. de Roever, and G. Rozenberg, editors, 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.
21. Michael D. Ernst, Craig Kaplan, and Craig Chambers. Predicate Dispatching: A Unified Theory of Dispatch. To appear in ECOOP '98, the 12th European Conference on Object-Oriented Programming, Brussels, Belgium, July, 1998. Also http://www.cs.washington.edu/research/projects/cecil/www/www/Papers/gud.html.
22. Neal Feinberg, Sonya E. Keene, Robert O. Mathews, and P. Tucker Withington. The Dylan Programming Book. Addison-Wesley Longman, Reading, Mass., 1997.
23. Erich Gamma and Richard Helm and Ralph Johnson and John Vlissides. Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, Reading, Mass., 1995.
24. Joseph A. Goguen and Jose Meseguer. Order-Sorted Algebra Solves the Constructor-Selector, Multiple Representation and Coercion Problems. In Symposium on Logic in Computer Science, Ithaca, NY, pp. 18-29. IEEE Press, NY, June, 1987.
25. Adele Goldberg and David Robson. Smalltalk-80: The Language and its Implementation. Addison-Wesley, Reading, Mass., 1983.
26. James Gosling, Bill Joy, Guy Steele, Guy L. Steele. The Java Language Specification. Addison-Wesley, Reading, Mass., 1996.
27. 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.
28. Gregor Kiczales and Luis H. Rodriguez Jr. Efficient Method Dispatch in PCL. In [Paepcke 93], Chapter 14.
29. Bertrand Meyer. Eiffel: The Language. Prentice Hall, New York, 1992.
30. Bertrand Meyer. Object-Oriented Software Construction. Second Edition, Prentice Hall, New York, 1997.
31. Robin Milner, Mads Tofte, and Robert Harper. The Definition of Standard ML. MIT Press, Cambridge, MA, 1990.
32. David A. Moon. Object-Oriented Programming with Flavors. In Norman Meyrowitz (editor), OOPSLA '86 Conference Proceedings, Portland, Oregon, September 1986, volume 21, number 11 of ACM SIGPLAN Notices, pp. 1-8. ACM, New York, November, 1986.
33. Andreas Paepcke. Object-Oriented Programming: The CLOS Perspective. MIT Press, 1993.
34. John C. Reynolds. Using Category Theory to Design Implicit Conversions and Generic Operators. In Neil D. Jones (editor), Semantics-Directed Compiler Generation, Proceedings of a Workshop, Aarhus, Denmark, pp. 211-258. Volume 94 of Lecture Notes in Computer Science, Springer-Verlag, NY, 1980.
35. David A. Schmidt. The Structure of Typed Programming Languages. MIT Press, Cambridge, Mass., 1994.
36. Andrew Shalit. The Dylan Reference Manual: The Definitive Guide to the New Object-Oriented Dynamic Language. Addison-Wesley, Reading, Mass., 1997.
37. Guy L. Steele Jr. Common Lisp: The Language (second edition). Digital Press, Bedford, MA, 1990.
38. Bjarne Stroustrup. The C++ Programming Language: Third Edition. Addison-Wesley, Reading, Mass., 1997.