Bruce, Kim, Cardelli, Luca, Castagna, Giuseppe, Hopkins Objects Group, The, Leavens, Gary T. and Pierce, Benjamin (1995) On Binary Methods. Technical Report TR95-08, Department of Computer Science, Iowa State University.
On Binary Methods
Kim Bruce, Luca Cardelli, Giuseppe Castagna,
The Hopkins Objects Group,
Gary T. Leavens, and Benjamin Pierce
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.
Contact site administrator at: email@example.com