Martín Abadi, Luca Cardelli  Home/Search
Context Related
| microsoft.com/User...mObj2ndOrder.A4.ps microsoft.com/User...PrimObj2ndOrder.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: cristal.inria.fr/~fpott...english (more) From: luca.demon.co.uk/Bibliography (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We describe a second-order calculus of objects. The calculus supports object subsumption, method override, and the type Self. It is constructed as an extension of System F with subtyping, recursion, and first-order object types. 1. Introduction To its founders and practitioners, object-oriented programming is a new computational paradigm distinct from ordinary procedural programming. Objects and method invocations, in their purest form, are meant to replace procedures and calls, and not simply ... (Update)
Context of citations to this paper: More
.... the formalism would be impossible here and the reader is directed to the literature for a more substantial treatment of the # calculus [2, 3, 4, 5]. As far a possible, the notation used in the following examples is consistent with this literature to facilitate the reference....
.... 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, functional, object...
Cited by: More
Objective ML: A simple object-oriented extension of ML - Remy, Vouillon (1997) (Correct)
Type Checking Higher-Order Polymorphic Multi-Methods - Bourdoncle, Merz (1997) (Correct)
On the Integration of Functional Programming, Class-Based.. - Bourdoncle, Merz (1996) (Correct)
Similar documents (at the sentence level):
32.3%: A Theory of Primitive Objects - Abadi, Cardelli (1994) (Correct)
Active bibliography (related documents): More All
0.8: A Theory of Primitive Objects - Untyped and First-Order Systems - Abadi, Cardelli (1994) (Correct)
0.7: Type-Secure Meta-Programming - Christopher Bentley Dornan (1998) (Correct)
0.5: Type Systems - Cardelli (1997) (Correct)
Similar documents based on text: More All
0.5: Types for the Scott numerals - Mart'in Abadi Luca (Correct)
0.2: A Semantics of Object Types - Abadi, Cardelli (1994) (Correct)
0.2: Efficient Inference of Object Types - Palsberg (1995) (Correct)
Related documents from co-citation: More All
24: A theory of primitive objects: untyped and first-order systems - Abadi, Cardelli - 1994
15: An Imperative Objects Calculus - Abadi, Cardelli - 1995
12: Simple type-theoretic foundations for objectoriented programming - Pierce, Turner - 1994
BibTeX entry: (Update)
Abadi, M., & Cardelli, L. 1994b. A Theory of Primitive Objects: Second-order Systems. http://citeseer.ist.psu.edu/304252.html More
@inproceedings{ abadi94theory,
author = "Mart{\'\i}n Abadi and Luca Cardelli",
title = "A Theory of Primitive Objects: Second-Order Systems",
booktitle = "Proceeding of {ESOP} '94 on Programming Languages and Systems",
volume = "788",
publisher = "Springer Verlag",
editor = "Donald Sannella",
pages = "1--25",
year = "1994",
url = "citeseer.ist.psu.edu/304252.html" }
Citations (may not include all citations):1274 Object-oriented software construction (context) - Meyer - 1988
342 data abstraction and polymorphism (context) - Cardelli, Wegner - 1985
311 Abstract types have existential type (context) - Mitchell, Plotkin - 1985
268 Proofs and types (context) - Girard, Lafont - 1989
75 A paradigmatic object-oriented programming language: design - Bruce - 1994
72 A theory of primitive objects: untyped and first-order syste.. - Abadi, Cardelli - 1994
56 A lambda calculus of objects and method specialization (context) - Mitchell, Honsell et al. - 1993
47 Extensible records in a pure calculus of subtyping - Cardelli - 1994
39 Notes on typed object-oriented programming - Fisher, Mitchell - 1994
31 An imperative object calculus - Abadi, Cardelli - 1995
31 On subtyping and matching - Abadi, Cardelli - 1995
29 Mathematical Structures in Computer Science (context) - Curien, Ghelli - 1992
27 an Algol-based simulation language (context) - Dahl, Nygaard - 1966
14 Theoretical Aspects of Computer Software (context) - Cardelli, Mitchell et al. - 1991
9 IEEE Symposium on Logic in Computer Science (context) - Abadi, Cardelli et al. - 1994
9 Automatic synthesis of typed l-programs on term algebras (context) - Bhm, Berarducci - 1985
9 IEEE Symposium on Logic in Computer Science (context) - Plotkin, Abadi et al. - 1994
8 Engineering a programming language: the type and class syste.. - Szypersky, Omohundro et al. - 1993
7 Department of Computer Science (context) - Bruce, Cardelli et al. - 1995
6 Colloquium sur la programmation (context) - Reynolds, Towards - 1974
6 Interprtation fonctionelle et limination des coupures dans l.. (context) - Girard - 1972
4 th Annual IEEE Symposium on Logic in Computer Science (context) - Palsberg - 1994
3 calculus numeral systems (context) - Wadsworth - 1980
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://cristal.inria.fr/~fpottier/biblio/english.html): More
Satisfying Subtype Inequalities in Polynomial Space - Frey (1997) (Correct)
The SLam Calculus: Programming with Secrecy and Integrity - Heintze, Riecke (1998) (Correct)
Subtyping-Constraint-Based Type Inference With Conditional.. - Pottier (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