Kathleen Fisher, John C. Mitchell  Home/Search
Context Related
Links: ACM DBLP | stanford.edu/pub/kfisher/tacs94.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 From: stanford.edu (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . This paper, which is partly tutorial in nature, summarizes some basic research goals in the study and development of typed objectoriented programming languages. These include both immediate repairs to problems with existing languages and the long-term development of more flexible and expressive, yet type-safe, approaches to program organization and design. We summarize and compare three object models used in the theoretical literature. We also consider approaches to a few technical problems,... (Update)
Context of citations to this paper: More
.... and subtyping are not easily merged in a type inference system: despite a number of research efforts, surveyed by Fisher and Mitchell[11], subtyping has not been integrated yet into languages based on type inference, such as ML or Haskell. 1.4 Contributions The present paper...
.... our approach contrasts with many other researchers, who try to directly add primitive object oriented constructs to FPLs (see [FiMit94] for a survey) We do not even start with primitive records and variants, although it is well known that such constructs can be used to...
Cited by: More
System F with Width-subtyping and Record Updating - Poll (1997) (Correct)
A Subtyping for the Fisher-Honsell-Mitchell - Lambda Calculus Of (Correct)
Type Systems for the Object-Oriented Paradigm - Bono (1999) (Correct)
Similar documents (at the sentence level):
9.0%: Type Systems For Object-Oriented Programming Languages - Fisher (1996) (Correct)
7.8%: What is an Object-Oriented Programming Language? - Fisher, Mitchell (1995) (Correct)
Active bibliography (related documents): More All
1.4: The Development of Type Systems for Object-Oriented Languages - Fisher, Mitchell (1996) (Correct)
0.3: On the Relationship Between Classes, Objects, and Data.. - Fisher, Mitchell (Correct)
0.3: A Lambda Calculus of Objects and Method Specialization - Fisher, Honsell, Mitchell (1994) (Correct)
Similar documents based on text: More All
0.1: Safe Query Objects: Statically-Typed Objects as.. - Cook, Rai (Correct)
0.1: Papers by Dragomir R. Radev - Radev (2000) (Correct)
0.1: Classes = Objects + Data Abstraction - Fisher, Mitchell (1996) (Correct)
Related documents from co-citation: More All
13: A Delegation-based Object Calculus with Subtyping - Fisher, Mitchell - 1995
11: On Understanding Types (context) - Cardelli, Wegner - 1985
10: A lambda calculus of objects and method specialization - Fisher, Honsell et al. - 1994
BibTeX entry: (Update)
Kathleen Fisher and John Mitchell. Notes on typed object-oriented programming. In Proceedings of Theoretical Aspects of Computer Software, Sendai, Japan, pages 844--885. Springer-Verlag, April 1994. LNCS 789. http://citeseer.ist.psu.edu/fisher94notes.html More
@inproceedings{ fisher94notes,
author = "Kathleen Fisher and John C. Mitchell",
title = "Notes on Typed Object-Oriented Programming",
booktitle = "Theoretical Aspects of Computer Software",
pages = "844-885",
year = "1994",
url = "citeseer.ist.psu.edu/fisher94notes.html" }
Citations (may not include all citations):1074 The Definition of Standard ML (context) - Milner, Tofte et al. - 1990 ACM
1002 Programming Language (context) - Stroustrop - 1986
484 Common Lisp: The language (context) - Steele - 1984 ACM
469 Object-Oriented Design with Applications (context) - Booch - 1991
388 On understanding types (context) - Cardelli, Wegner - 1985
342 Eiffel: The Language (context) - Meyer - 1992 ACM DBLP
306 Self: The power of simplicity (context) - Ungar, Smith ACM DBLP
242 Reference Manual (context) - Ellis, Stroustrop - 1990
175 Inheritance is not subtyping (context) - Cook, Hill et al. - 1990 ACM DBLP
163 Commentary on Standard ML (context) - Milner, Tofte - 1991 ACM
145 Customization: Optimizing compiler technology for Self (context) - Chambers, Ungar - 1989
139 Using prototypical objects to implement shared behavior in o.. - Lieberman - 1986 ACM
132 Interpretation fonctionelle et elimination des coupures de l.. (context) - Girard - 1972
112 A Denotational Semantics of Inheritance - Cook - 1989 ACM
102 Abstraction mechanisms in clu (context) - Liskov, Snyder et al. - 1977
97 and parametric polymorphism (context) - Reynolds, abstraction - 1983
92 Subtyping recursive types - Amadio, Cardelli - 1991 ACM DBLP
88 A calculus for overloaded functions with subtyping - Ghelli - 1992 ACM DBLP
88 Encapsulation and inheritance in object-oriented programming.. - Snyder - 1986
81 Information and Computation (context) - Bruce, Longo et al. - 1990 DBLP
79 CLU Reference Manual (context) - Liskov - 1981 ACM
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
67 Delegation is inheritance (context) - Stein - 1987 ACM DBLP
63 Notes on structured programming (context) - Dijkstra - 1972
62 Theoretical aspects of objectoriented programming - Gunter, Mitchell - 1994
56 A lambda calculus of objects and method specialization (context) - Mitchell, Honsell et al. - 1993 ACM DBLP
47 Extensible records in a pure calculus of subtyping - Cardelli - 1992 ACM
47 A type system for prototyping languages - Katiyar, Luckham et al. - 1994 ACM DBLP
46 Simula Begin (context) - Birtwistle, Dahl et al. - 1973
42 Programming Languages: Concepts and Constructs (context) - Sethi - 1989 ACM
41 DEC Systems Research Center (context) - Abadi, of et al. - 1993
38 de l'interpretation de Godel `a l'analyse, et son applicatio.. (context) - Girard - 1971
37 Object-oriented programming without recursive types - Pierce, Turner - 1993 ACM DBLP
37 Interfaces and specifications for the Smalltalk-80 collectio.. - Cook - 1992 ACM DBLP
34 Statically typed friendly functions via partially abstract t.. - Pierce, Turner - 1993
29 A type declaration and inference system for Smalltalk (context) - Borning, Ingalls - 1982
27 Reference Manual for the Ada Programming Language (context) - Dept - 1980 ACM
23 Constrained quantification in polymorphic type analysis (context) - Curtis - 1990
22 Object-oriented programming in Scheme (context) - Adams, Rees - 1988 ACM DBLP
17 The equivalence of two semantic definitions of inheritance i.. (context) - Bruce - 1992
15 Types are not sets (context) - Morris - 1973
14 A new approach to prototyping Ada-based hardware/software sy.. (context) - Belz, Luckham - 1990
8 A self-ish model of inheritance (context) - Cook - 1987
6 Polymorphism and subtyping in interfaces - Katiyar, Luckham et al. - 1994 DBLP
4 or lambda: the ultimate software tool (context) - Rees, Adams et al. - 1982
4 Draft report; available electronically (context) - Pierce - 1993
1 Elements of ML programming (context) - Ulmman - 1994 ACM
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.math.jussieu.fr/~fermigie/fermivista/ftp/theory.stanford.edu.html): More
Partial Orderings of Event Sets and Their.. - Luckham, Vera.. (1992) (Correct)
Classes = Objects + Data Abstraction - Fisher (Correct)
An Efficient System For Geometric Assembly.. - Romney, Godard.. (1995) (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