Atsushi Ohori  Home/Search
Context Related
Links: ACM DBLP | jaist.ac.jp/~ohori/ohor94mit.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: jaist.ac.jp/~ohori/list (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Method inheritance and data abstraction are central features of objectoriented programming that are attained through a hierarchical organization of classes. Recent studies have shown that method inheritance can be supported by an ML style type inference when extended to labeled records. This is based on the observation that a function that selects a eld f of a record can be given a polymorphic type that enables it to be applied to any record which contains a eld f . Several type systems ... (Update)
Context of citations to this paper: More
.... For example, it is not hard to integrate the class structures we have developed with parametric classes for objectoriented programming [OB89] Another interesting issue is abstract characterization of views. In developing a systematic translation for a language with views...
.... some sense have been studied, starting with Wand s one [49] some initial diOEculties with principal typing were later solved, see [26, 36, 41, 51]) For instance, various forms of record concatenation, symmetric or asymmetric, have been considered, see [25, 42, 50] In this...
Cited by: More
Converting Java Programs to Use Generic Libraries - Alan Donovan Adam (2004) (Correct)
Inference of generic types in Java - Donovan, Ernst (2003) (Correct)
Developments in Object-Oriented Type Systems - Schwartzbach (1994) (Correct)
Active bibliography (related documents): More All
1.1: Polymorphism and Type Inference in Database Programming - Buneman, Ohori (1994) (Correct)
0.6: A Polymorphic Record Calculus and Its Compilation - Ohori (1995) (Correct)
0.3: Semantics for Communication Primitives in a Polymorphic Language - Ohori, Kato (1993) (Correct)
Similar documents based on text: More All
0.3: Register Allocation by Proof Transformation - Atsushi Ohori Japan (Correct)
0.1: Using Powerdomains to Generalize Relational Databases - Buneman, Jung, Ohori (1991) (Correct)
0.0: A Type System that Reconciles Classes and Extents - Buneman, Ohori (Correct)
Related documents from co-citation: More All
14: A theory of type polymorphism in programming (context) - Milner - 1978
11: Complete type inference for simple objects (context) - Wand - 1987
11: On Understanding Types (context) - Cardelli, Wegner - 1985
BibTeX entry: (Update)
Atsushi Ohori and Peter Buneman. Static type inference for parametric classes. In OOPSLA '89: Object-Oriented Programming Systems, Languages, and Applications, Conference Proceedings, pages 445--456, October 1989. http://citeseer.ist.psu.edu/ohori89static.html More
@inproceedings{ ohori89static,
author = "Atsushi Ohori and Peter Buneman",
title = "Static Type Inference for Parametric Classes",
booktitle = "Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications ({OOPSLA})",
journal = "SIGPLAN Notices",
volume = "24",
number = "10",
publisher = "ACM Press",
address = "New York, NY",
editor = "Norman Meyrowitz",
pages = "445--456",
year = "1989",
url = "citeseer.ist.psu.edu/ohori89static.html" }
Citations (may not include all citations):809 A theory of type polymorphism in programming (context) - Milner - 1978 DBLP
492 Smalltalk-80: the language and its implementation (context) - Goldberg, Robson - 1983
388 On understanding types (context) - Cardelli, Wegner - 1985
343 Principal type-schemes for functional programs (context) - Damas, Milner - 1982 DBLP
311 Abstract types have existential types (context) - Mitchell, Plotkin - 1988 ACM
283 Theoretical Computer Science (context) - Plotkin, call-by-value et al. - 1975 ACM
258 Miranda: A non-strict functional language with polymorphic t.. (context) - Turner - 1985 ACM DBLP
107 Complete type inference for simple objects (context) - Wand - 1987 DBLP
103 The denition of Standard ML (context) - Milner, Tofte et al. - 1990
98 Using dependent types to express modular structure - MacQueen - 1986 ACM DBLP
88 Typechecking records and variants in a natural extension of .. (context) - emy - 1989 DBLP
87 Operational Semantics and Polymorphic Type Inference (context) - Tofte - 1988
71 Operations on records - Cardelli, Mitchell - 1989 ACM DBLP
63 Database programming in Machiavelli { a polymorphic language.. - Ohori, Buneman et al. - 1989
59 Using powerdomains to generalize relational databases - Buneman, Jung et al. - 1991 ACM DBLP
59 An extension of Standard ML modules with subtyping and inher.. - Mitchell, Meldal et al. - 1991 ACM DBLP
57 A record calculus based on symmetric concatenation - Harper, Pierce - 1991 ACM DBLP
56 ML with extended pattern matching and subtypes - Jategaonkar, Mitchell - 1988 ACM DBLP
55 interactive conceptual language (context) - Albano, Cardelli et al. - 1985
24 Type inference with subtypes (context) - Stansifer - 1988 ACM DBLP
23 Semantics of types for database objects (context) - Ohori - 1990 ACM DBLP
22 Type inference in a database programming language (context) - Ohori, Buneman - 1988 ACM DBLP
22 Corrigendum : Complete type inference for simple object (context) - Wand - 1988
20 Lecture Notes in Computer Science (context) - Liskov, Atkinson et al. - 1981
16 Fundamental properties of innite trees (context) - Courcelle - 1983
13 Typing record concatenation for free (context) - emy - 1991 ACM DBLP
12 A simple semantics for ML polymorphism (context) - Ohori - 1989 ACM DBLP
7 Type inference for records concatenation and simple objects (context) - Wand - 1989
6 Can object-oriented databases be statically typed (context) - Breazu-Tannen, Buneman et al. - 1989
3 Polymoprhism and type inference in database programming (context) - Buneman, Ohori - 1990
2 Semantics and Languages for Databases and Object-oriented Pr.. (context) - Ohori, of - 1989
1 Rationale of the design of the programming language Ada (context) - Ichbiah, Barnes et al. - 1979
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.jaist.ac.jp/~ohori/list.html): More
An Equational Object-Oriented Data Model and its.. - Nishimura, Ohori, Tajima (1996) (Correct)
Proof-Directed De-compilation of Low-Level Code - Katsumata, Ohori (2001) (Correct)
A Curry-Howard Isomorphism for Compilation and Program Execution.. - Ohori (1999) (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