Viviana Bono, Michele Bugliesi  Home/Search
Context Related
| lambda.di.unito.it/pub/bono...tcs.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: strudel.di.unipi.it/p40/p...pubbl (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: A relation between recursive object types, called matching, has been proposed [7] to provide an adequate typing of inheritance in class-based languages. This paper investigates the role of this relation in the design of a type system for the Lambda Calculus of Objects [14]. A new type system for this calculus is defined that uses implicit match-bounded quantification over type variables instead of implicit quantification over row schemes -- as in [14] -- to capture MyType polymorphic types for... (Update)
Context of citations to this paper: More
.... Our source calculus features extensible objects in the spirit of the Lambda Calculus of Objects [FHM94] and subsequent calculi [FM95,BL95,BB98]. MyType polymorphism is rendered via match bounded polymorphism, as in the system we developed in [BB98] Subtyping, is accounted...
...with Michele Bugliesi. A preliminary version of this work appeared in [BB97] The work essentially as it is in this chapter appeared in [BBar]. An expression of the untyped calculus is any of the following: e : x j c j x:e j e 1 e 2 j hi j he 1 m=e 2 i j he 1 m=e 2 i j e...
Cited by: More
Extensible Objects: a Tutorial - Bono (Correct)
A Calculus for "environment-Aware" Computation - Bono, Damiani, al. (2002) (Correct)
Matching Constraints for the Lambda Calculus of Objects.. - Dipartimento Di.. (Correct)
Similar documents (at the sentence level):
59.7%: Type Systems for the Object-Oriented Paradigm - Bono (1999) (Correct)
Active bibliography (related documents): More All
0.5: Type-Secure Meta-Programming - Christopher Bentley Dornan (1998) (Correct)
0.2: A Subtyping for Extensible, Incomplete Objects - Bono (1998) (Correct)
0.2: A Lambda Calculus of Objects with Self-Inflicted Extension - Di Gianantonio, Honsell (1998) (Correct)
Similar documents based on text: More All
0.4: An Imperative, First-Order Calculus with Object Extension - Bono, Fisher (1998) (Correct)
0.4: A Lambda Calculus of Incomplete Objects - Bono, Bugliesi, Liquori (1996) (Correct)
0.4: Products and Polymorphic Subtypes - Bono, Tiuryn (2001) (Correct)
Related documents from co-citation: More All
7: A lambda calculus of objects and method specialization - Fisher, Honsell et al. - 1994
6: A Denotational Semantics of Inheritance - Cook - 1989
6: A Delegation-based Object Calculus with Subtyping - Fisher, Mitchell - 1995
BibTeX entry: (Update)
V. Bono and M. Bugliesi. Matching for the lambda calculus of objects. Theoretical Computer Science, 1998. To appear. http://citeseer.ist.psu.edu/bono98matching.html More
@article{ bono99matching,
author = "Viviana Bono and Michele Bugliesi",
title = "Matching for the lambda calculus of objects",
journal = "Theoretical Computer Science",
volume = "212",
number = "1--2",
pages = "101--140",
year = "1999",
url = "citeseer.ist.psu.edu/bono98matching.html" }
Citations (may not include all citations):369 A Semantics of Multiple Inheritance - Cardelli - 1988
342 Data Abstraction and Polymorphism (context) - Cardelli, Wegner et al. - 1985
175 Inheritance is not Subtyping (context) - Cook, Hill et al. - 1990
112 A Denotational Semantics of Inheritance - Cook - 1989
107 Complete Type Inference for Simple Objects (context) - Wand - 1987
106 PolyTOIL: a Type-Safe Polymorphic Object-Oriented Language - Bruce, Shuett et al. - 1995
92 Monographs in Computer Science (context) - Abadi, Cardelli et al. - 1996
75 A Paradigmatic Object-Oriented Programming Language: Design - Bruce - 1994
73 A Delegation-based Object Calculus with Subtyping - Fisher, Mitchell - 1995
56 A Lambda Calculus of Objects and Method Specialization (context) - Fisher, Honsell et al. - 1994
45 for Object-Oriented Languages (context) - Bruce, Petersen et al. - 1997
34 A Subtyping for the Fisher-Honsell-Mitchell Lambda Calculus .. (context) - Bono, Liquori - 1995
33 Subtyping Constraints for Incomplete Objects (context) - Bono, Bugliesi et al. - 1997
31 On Subtyping and Matching - Abadi, Cardelli - 1995
31 An Imperative Objects Calculus - Abadi, Cardelli - 1995
11 Matching Constraints for the Lambda Calculus of Objects (context) - Bono, Bugliesi - 1997
Documents on the same site (http://strudel.di.unipi.it/p40/pubbl/pubbl.html): More
Uniform Closures: Order-Theoretically Reconstructing Logic.. - Giacobazzi, al. (1998) (Correct)
Static Analysis of Processes for No Read-Up and No.. - Bodei, Degano, Nielson.. (1999) (Correct)
An Algebra of Actors - Gaspari, Zavattaro (1997) (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