Technical Report Number
Computer Systems Organization, Computing Methodologies
Giving types to binary methods causes significant problems for object-oriented language designers and programmers. This paper offers a comprehensive description of the problems arising from typing binary methods, and collects and contrasts diverse views and solutions. It is intended to expose a wide audience of readers to the current debate on this question.