On Binary Methods
- 1 January 1995
- journal article
- research article
- Published by Wiley in Theory and Practice of Object Systems
- Vol. 1 (3) , 221-242
- https://doi.org/10.1002/j.1096-9942.1995.tb00019.x
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 summarizes the current debate on the problem of binary methods for a wide audience.Keywords
This publication has 37 references indexed in Scilit:
- Object-oriented multi-methods in CecilPublished by Springer Nature ,2006
- Sound polymorphic type inference for objectsACM SIGPLAN Notices, 1995
- Foundations of Object-Oriented LanguagesACM SIGPLAN Notices, 1995
- A paradigmatic object-oriented programming language: Design, static typing and semanticsJournal of Functional Programming, 1994
- Efficient dynamic look-up strategy for multi-methodsPublished by Springer Nature ,1993
- Types in schoolACM SIGPLAN Notices, 1993
- A static type system for message passingACM SIGPLAN Notices, 1991
- Object-oriented programming versus abstract data typesPublished by Springer Nature ,1991
- Designing an object-oriented programming language with behavioural subtypingPublished by Springer Nature ,1991
- Abstract types have existential typeACM Transactions on Programming Languages and Systems, 1988