Kim B. Bruce, Luca Cardelli, Giuseppe Castagna, Jonathan Eifrig, Scott F. Smith, Valery Trifonov, Gary T. Leavens, Benjamin C. Pierce  Home/Search
Context Related
| microsoft.com/Users/luca...Binary.A4.ps iastate.edu/techreports/TR9508a.ps indiana.edu/pub/pierce/binary.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: luca.demon.co.uk/Bibliography (more) From: iastate.edu/techreport...catalog Homepages: K.Bruce L.Cardelli |
Rate this article:      (best)Comment on this article |
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. (Update)
Context of citations to this paper: More
.... is strongly typed, supports polymorphism and allows covariant changes of parameter types it can create the difficulties described in [7, 8]. On the other hand some operations which one would expect to find are not provided at all for many collection types (e.g....
.... that subtyping and inheritance are distinct, as presented in [CHC90] Bruce s work, in the papers [BL90] BM92] BCD 93] Bru93] Bru94] and [BSvG94] among others) has furthered the theoretical development of programming languages and strengthened the connection between...
Cited by: More
Late-bound Pragmatical Class Methods - Schmolitzky, Evered, Keedy, Menger (Correct)
Success Factors And Future Challenges For The Development Of.. - Prasse, Rittgen (2000) (Correct)
Extension Polymorphism - Balasubramaniam (Correct)
Similar documents (at the sentence level):
59.4%: On Binary Methods - Bruce, Cardelli, Castagna, Group.. (1995) (Correct)
Active bibliography (related documents): More All
0.5: Module Fondements des Bases de donnees Des Modeles a valeurs.. - Benzaken (2001) (Correct)
0.3: Subtyping and Inheritance in Object-Oriented Programming - Kurtev (2000) (Correct)
0.3: Sous-Typage Et Programmation Orientée à Objets - Castagna (Correct)
Similar documents based on text: More All
0.3: Foundations of Object-Oriented Languages - 2nd Workshop report - Castagna, Leavens (1994) (Correct)
0.3: A Calculus For Overloaded Functions With Subtyping - Castagna (1995) (Correct)
0.3: Covariance and Contravariance: Conflict without a Cause - Castagna (1994) (Correct)
Related documents from co-citation: More All
5: Polytoil: A type-safe polymorphic object-oriented language - Bruce, Schuett et al. - 1995
4: On understanding types, data abstraction, and polymorphism - Cardelli, Wegner - 1985
4: A proposal for making eiffel type safe - Cook - 1989
BibTeX entry: (Update)
K. B. Bruce, et al.: "On Binary Methods", Theory and Practice of Object Systems, Vol. 1:3, pp. 221-242, 1995. http://citeseer.ist.psu.edu/article/bruce95binary.html More
@article{ bruce95binary,
author = "Kim B. Bruce and Luca Cardelli and Giuseppe Castagna and Jonathan Eifrig and
Scott F. Smith and Valery Trifonov and Gary T. Leavens and Benjamin C. Pierce",
title = "On Binary Methods",
journal = "Theory and Practice of Object Systems",
volume = "1",
number = "3",
pages = "221--242",
year = "1995",
url = "citeseer.ist.psu.edu/article/bruce95binary.html" }
Citations (may not include all citations):1002 Programming Language (context) - Stroustrup - 1986
492 Smalltalk-80: The Language and Its Implementation (context) - Goldberg, Robson - 1983
388 On understanding types (context) - Cardelli, Wegner - 1985
342 Eiffel: the language (context) - Meyer - 1992
311 Abstract types have existential type (context) - Mitchell, Plotkin - 1988
175 Inheritance is not subtyping (context) - Cook, Hill et al. - 1990
145 ACM Transactions on Programming Languages and Systems (context) - Liskov, Wing et al. - 1994
129 ACM Transactions on Programming Languages and Systems (context) - Amadio, Cardelli et al. - 1993
127 Systems Programming with Modula (context) - Nelson - 1991
124 Object-oriented multi-methods in Cecil - Chambers - 1992
106 PolyTOIL: A type-safe polymorphic object-oriented language - Bruce, Schuett et al. - 1995
92 An introduction to Trellis /Owl (context) - Schaffert, Cooper et al. - 1986
88 Inheritance and subtyping in a parallel object-orientedlangu.. (context) - America - 1987
75 A paradigmatic object-oriented programming language: design - Bruce - 1994
72 Sound polymorphic type inference for objects - Eifrig, Smith et al. - 1995
68 Covariance and contravariance: conflict without a cause - Castagna - 1995
63 Static type checking of multi-methods - Agrawal, DeMichiel et al. - 1991
63 Reasoning about object-oriented programs that use subtypes (context) - Leavens, Weihl - 1990
63 Three approaches to type structure (context) - Reynolds - 1985
56 bounded quantification for object-oriented programming (context) - Canning, Cook et al. - 1989
55 Modular specification and verification of object-oriented pr.. (context) - Leavens - 1991
52 A simple technique for handling multiple polymorphism (context) - Ingalls - 1986
47 A type system for prototyping languages - Katiyar, Luckham et al. - 1994
44 Common Lisp Object System overview (context) - DeMichiel, Gabriel - 1987
43 Optimizing multi-method dispatch using compressed dispatch t.. (context) - Amiel, Gruber et al. - 1994
42 Multimethods in a statically-typed programming language (context) - Mugridge, Hosking et al. - 1991
40 A static type system for message passing (context) - Ghelli - 1991
34 Statically typed friendly functions via partially abstract t.. - Pierce, Turner - 1993
31 On subtyping and matching - Abadi, Cardelli - 1995
30 Efficient method dispatch in PCL - Kiczales, Jr - 1993
30 Specification and verification of object-oriented programs u.. (context) - Leavens, Weihl - 1994
23 Dylan: an object-oriented dynamic language (context) - Inc, Research - 1992
20 Typechecking polymorphism in Emerald - Black, Hutchinson - 1991
19 Application of OOP type theory: State (context) - Eifrig, Smith et al. - 1994
16 Efficient dynamic look-up strategy for multi-methods - Chen, Turau et al. - 1994
15 Object Pascal report (context) - Tesler - 1985
14 Computer Science Laboratory (context) - Mart-Oliet, Meseguer et al. - 1990
11 Implementing an Object-Oriented database system: The story o (context) - Bancilhon, Delobel et al. - 1992
9 Technical Report Programming Methodology Group Memo (context) - Liskov, Curtis et al. - 1995
7 ACM SIGPLAN Notices (context) - Chambers, Leavens et al. - 1994
6 SIGPLAN Notices (context) - Rodriguez, Ierusalimschy et al. - 1993
4 Foundations of object-oriented languages: 2nd workshop repor.. - Castagna, Leavens - 1995
2 Type-safe compiling of covariant specialization: a practical.. (context) - Boyland, Castagna - 1995
1 OOPSLA '86 Conference Proceedings (context) - Black, Hutchinson et al. - 1986
1 multi-method implementation question (context) - Chambers - 1995
1 Efficient dynamic look-up strategy for multi-methods (context) - Dean, Grove et al. - 1995
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.luca.demon.co.uk/Bibliography.html): More
Subtyping and Parametricity - Plotkin, Abadi, Cardelli (1993) (Correct)
On Understanding Types, Data Abstraction, and Polymorphism - Cardelli, Wegner (1985) (Correct)
An Interpretation of Objects and Object Types - Abadi, Cardelli, Viswanathan (1996) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC