Benjamin C. Pierce, David N. Turner  Home/Search
Context Related
| indiana.edu/ftp/pierce...ooppopl.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: indiana.edu/ftp/pierce/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: It is widely agreed that recursive types are inherent in the static typing of the essential mechanisms of objectoriented programming: encapsulation, message passing, subtyping, and inheritance. We demonstrate here that modeling object encapsulation in terms of existential types yields a substantially more straightforward explanation of these features in a simpler calculus without recursive types. 1 Introduction Static type systems for object-oriented programming languages have progressed... (Update)
Context of citations to this paper: More
.... a type safe language based on progress in the theoretical understanding of object oriented languages (see [Car88, CW85, CHC90, CCH 89, PT93, AC94b, AC94a, AC95] for example, for work on modelling objectoriented features) In [Bru93] we introduced a statically typed,...
.... here two encodings will be considered; they are not very different from various proposals which have been previously published [FHM 93, PieTu 93, R emy 94] but HOP makes them immediately comparable. The first encoding treats objects as prototypes, and corresponds to the...
Cited by: More
A Formalisation of Encapsulated Modification of Objects - Mens, De Volder, Mens (1996) (Correct)
Positive Subtyping - Hofmann, Pierce (1994) (Correct)
Functional Programming with Dynamic Binding - Dami (1996) (Correct)
Similar documents (at the sentence level):
21.9%: Simple Type-Theoretic Foundations for Object-Oriented Programming - Pierce, Turner (1993) (Correct)
Related documents from co-citation: More All
16: Safe type checking in a statically typed object-oriented programming language (context) - Bruce - 1993
15: Inheritance is not Subtyping (context) - Cook, Hill et al. - 1990
13: Toward a typed foundation for method specialization and inheritance (context) - Mitchell - 1990
BibTeX entry: (Update)
Pierce, B. C., & Turner, D. N. 1993a (January). Object-Oriented Programming Without Recursive Types. In: Proceedings of the Twentieth ACM Symposium on Principles of Programming Languages (POPL). http://citeseer.ist.psu.edu/72042.html More
@inproceedings{ pierce93objectoriented,
author = "Banjamin C. Pierce and David Turner",
title = "Object-Oriented Programming without Recursive types",
booktitle = "Conference record of the Twentieth Annual {ACM} {SIGPLAN}-{SIGACT} Symposium on Principles of Programming Languages, Charleston, South Carolina",
pages = "299--312",
year = "1993",
url = "citeseer.ist.psu.edu/72042.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/ftp/pierce/): More
Linearity and the Pi-Calculus - Kobayashi (1995) (Correct)
Simple Type-Theoretic Foundations for Object-Oriented Programming - Pierce, Turner (1993) (Correct)
Statically Typed Friendly Functions via Partially Abstract Types - 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