See this document in CiteSeerX!

On Binary Methods (1995)  (Make Corrections)  (8 citations)
Kim Bruce, Luca Cardelli, et al.
Theory and Practice of Object Systems



  Home/Search   Context   Related

 
View or download:
indiana.edu/pub/pierce/binary.ps.gz
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  indiana.edu/pub/pierce/ (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: 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. 1 Introduction (Update)

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/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/bruce95binary.html" }
Citations not processed or no citations identified.



The graph only includes citing articles where the year of publication is known.

Documents on the same site (http://www.cs.indiana.edu/pub/pierce/):   More
A Unifying Type-Theoretic Framework for Objects - Hofmann, Pierce (1993)   (Correct)
Higher-Order Subtyping - Steffen, Pierce (1994)   (Correct)
Simple Type-Theoretic Foundations for Object-Oriented Programming - Pierce, Turner (1993)   (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