Kathleen Fisher and John C. Mitchell Computer Science Department, Stanford...  Home/Search
Context Related
| att.com/~kfisher//files/fct95.ps stanford.edu/pub/kfisher/fct95.ps att.com/~kfisher/files/fct95.ps 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 Problem Downloading? From: att.com/~kfisher/site/YearPage (more) From: stanford.edu Homepages: K.Fisher |
Rate this article:      (best)Comment on this article |
Abstract: . This paper presents an untyped object calculus that reflects the capabilities of so-called delegation-based object-oriented languages. A type inference system allows static detection of errors, such as message not understood, while at the same time allowing the type of an inherited method to be specialized to the type of the inheriting object. The main advance over previous work is the provision for subtyping in the presence of delegation primatives. This is achieved by distinguishing a... (Update)
Cited by: More
Privacy via Subsumption - Jon Riecke Bell (1998) (Correct)
EGO: Controlling the Power of Simplicity - Bejleri, Aldrich, Bierhoff (2006) (Correct)
O'KLAIM: a coordination language with mobile mixins - Bettini, Bono, Venneri (2004) (Correct)
Similar documents (at the sentence level): More
37.8%: Type Systems For Object-Oriented Programming Languages - Fisher (1996) (Correct)
11.9%: A Lambda Calculus of Objects and Method Specialization - Fisher, Honsell, Mitchell (1994) (Correct)
8.5%: Classes = Objects + Data Abstraction - Fisher (Correct)
Active bibliography (related documents): More All
0.2: Higher-Order Intersection Types and Multiple Inheritance - Compagnoni, Pierce (1995) (Correct)
0.1: Type Systems for the Object-Oriented Paradigm - Bono (1999) (Correct)
0.1: PolyTOIL: A type-safe polymorphic object-oriented language - Bruce, Fiech, Schuett (1995) (Correct)
Similar documents based on text: More All
0.1: A Framework for Defining Object-Calculi (Extended Abstract) - Lang, al. (1998) (Correct)
0.0: What is an Object-Oriented Programming Language? - Fisher, Mitchell (1995) (Correct)
0.0: Functions and Methods for Mixed-Effects Models - Help Files (Correct)
Related documents from co-citation: More All
30: A Subtyping for the Fisher-Honsell-Mitchell Lambda Calculus of Objects (context) - Bono, Liquori - 1995
25: A lambda calculus of objects and method specialization - Fisher, Honsell et al. - 1994
24: A Theory of Objects (context) - Abadi, Cardelli - 1996
BibTeX entry: (Update)
K. Fisher and J. C. Mitchell. A Delegation-based Object Calculus with Subtyping. In Proc. of FCT, volume 965 of Lecture Notes in Computer Science, pages 42--61. Springer-Verlag, 1995. http://citeseer.ist.psu.edu/104746.html More
@inproceedings{ fisher95delegationbased,
author = "K. Fisher and J. Mitchell",
title = "A Delegation-based Object Calculus with Subtyping",
booktitle = "Fundamentals of Computation Theory ({FCT}'95)",
publisher = "Springer LNCS",
year = "1995",
url = "citeseer.ist.psu.edu/104746.html" }
Citations (may not include all citations):1002 Programming Language (context) - Stroustrop - 1986
492 Smalltalk--80: The language and its implementation (context) - Goldberg, Robson - 1983
342 Eiffel: The Language (context) - Meyer - 1992 ACM DBLP
242 Reference Manual (context) - Ellis, Stroustrop - 1990
145 Customization: Optimizing compiler technology for Self (context) - Chambers, Ungar - 1989
101 Simple type-theoretic foundations for object-oriented progra.. - Pierce, Turner - 1994 DBLP
76 Toward a typed foundation for method specialization and inhe.. (context) - Mitchell - 1990 ACM DBLP
74 Safe type checking in a statically-typed object-oriented pro.. (context) - Bruce - 1993 ACM DBLP
72 A theory of primitive objects: untyped and firstorder system.. - Abadi, Cardelli - 1994
39 Notes on typed object-oriented programming - Fisher, Mitchell - 1994 ACM DBLP
34 A subtyping for the fisher-honsell-mitchell lambda calculus .. (context) - Bono, Liquori - 1995 ACM DBLP
18 TOIL: a new type-safe object-oriented imperative language (context) - Bruce, van Gent - 1993
4 Draft report; available electronically (context) - Pierce - 1993
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.research.att.com/~kfisher/site/YearPage.html): More
A Calculus for Concurrent Objects - Di Blasio, Fisher (1996) (Correct)
On the Relationship Between Classes, Objects, and Data.. - Fisher, Mitchell (Correct)
A Lambda Calculus of Objects and Method Specialization - Fisher, Honsell, Mitchell (1994) (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