On Binary Methods

1995/01/01 by Kim B. Bruce, Luca Cardelli, Giuseppe Castagna +3 · 2 citations
Computer Science · #Logic, programming, and type systems #Model-Driven Software Engineering Techniques #Formal Methods in Verification

paper · doi:10.1002/j.1096-9942.1995.tb00019.x

openalex publication_date 1995/01/01 · openalex created_date 2016/06/24 · openalex updated_date 2026/05/21

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.

Citations

• A Calculus for Overloaded Functions with Subtyping
• A behavioral notion of subtyping
• Abstract types have existential type

Cited by

• Multiple dispatch in practice
• Multiple dispatch [wikipedia]