Publication Date

12-1995

Technical Report Number

TR95-08a

Subjects

Computer Systems Organization, Computing Methodologies

Abstract

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.

Comments

To appear in Theory and Practice of Object Systems. Copyright © assigned to John Wiley and Sons, Inc, 1995.

Share

COinS