Parasitic Methods: An Implementation of Multi-Methods for Java

SIGPLAN Notices (ACM Special Interest Group on Programming Languages)

Volumn 32, Issue 10, 1997, Pages 66-76

  Boyland, John ^a   Castagna, Giuseppe ^b  

^a Carnegie Mellon University   (United States)

^b ECOLE NORMALE SUPÉRIEURE   (France)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0346616794     PISSN: 03621340     EISSN: None     Source Type: Journal    
DOI: 10.1145/263700.263721     Document Type: Article

References (17)

1. Rakesh Agrawal, Linda G. DeMichiel, and Bruce G. Lindsay. Static type checking of multi-methods. In Conference Proceedings of OOPSLA '91 - Object Oriented Programming Systems, Languages and Applications, pages 113-128, New York, October 1991. ACM Press. Appeared as ACM SIGPLAN Notices 26 (11), November 1991.
2. Rakesh Agrawal, Linda G. DeMichiel, and Bruce G. Lindsay. Static type checking of multi- methods. In Conference Proceedings of OOPSLA '91 - Object Oriented Programming Systems, Languages and Applications, pages 113-128, New York, October 1991. ACM Press. Appeared as ACM SIGPLAN Notices 26 (11), November 1991.
3. John Tang Boyland and Giuseppe Castagna. Type-safe compilation of covariant specialization: A practical case. In ECOOP '96 - Object-Oriented Programming (10th European Conference), volume 1098 of Lecture Notes in Computer Science, pages 3-25. Springer-Verlag, Berlin, Heidelberg, New York, July 1996.
4. K. Bruce, L. Cardelli, G. Castagna, The Hopkins Object Group, G. Leavens, and B. Pierce. On binary methods. Theory and Practice of Object Systems, 1(3):221-242, 1996.
5. 2. Morgan Kaufmann, 1992.
6. Joseph A. Banks, Barbara Liskov, and Andrew C. Meyers. Parameterized types and Java. In Conference Record of the Twenty-fourth Annual ACM SIGACT/SIGPLAN Symposium on Principles of Programming Languages, pages 132-145, New York, January 1997. ACM Press.
7. G. Castagna. Object-Oriented Programming: A Unified Foundation. Progress in Theoretical Computer Science series. Birkäuser, Boston, 1997.
8. G. Castagna, G. Ghelli, and G. Longo. A calculus for overloaded functions with subtyping. In ACM Conference on LISP and Functional Programming, pages 182-192, 1992. Extended and revised version in Information and Computation 117(1):115-135, 1995.
9. G. Castagna, G. Ghelli, and G. Longo. A calculus for overloaded functions with subtyping. In ACM Conference on LISP and Functional Programming, pages 182-192, 1992. Extended and revised version in Information and Computation 117(1):115-135, 1995.
10. C. Chambers and G. T. Leavens. Type-checking and modules for multi-methods. ACM Transactions on Programming Languages and Systems, 17(6):805-843, November 1995.
11. Sophia Drossopoulou and Susan Eisenbach. Java is type safe - probably. In ECOOP '97 - Object-Oriented Programming (11th European Conference), volume 1241 of Lecture Notes in Computer Science, pages 389-418. Springer Verlag, Berlin, July 1997.
12. L. G. DeMichiel and R. P. Gabriel. Common Lisp Object System overview. In Bézivin, Hullot, Cointe, and Lieberman, editors, Proc. of ECOOP '87 European Conference on Object-Oriented Programming, number 276 in Lecture Notes in Computer Science, pages 151-170, Paris, France, June 1987. Springer.
13. James Gosling, Bill Joy, and Guy Steele. The Java Language Specification. Addison-Wesley, Reading, Massachusetts, 1996.
14. W. B. Mugridge, J. Hamer, and J. G. Hosking. Multi-methods in a statically-typed programming language. In Pierre America, editor, Proceedings of ECOOP '91 Conference, Geneva, Switzerland, volume 512 of Lecture Notes in Computer Science. Springer, 1991.
15. Martin Odersky and Philip Wadler. Pizza into Java: Translating theory into practice. In Conference Record of the Twenty-fourth Annual ACM SIGACT/SIGPLAN Symposium on Principles of Programming Languages, pages 146-159, New York, January 1997. ACM Press.
16. Guy Steele. Common Lisp the Language. Digital Press, 2nd edition, 1990.
17. Bjarne Stroustrup. The design and evolution of C++. Addison-Wesley, Reading, Massachusetts, 1994.