MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "On Subtyping and Matching." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

52 documents found, showing 1 through 10. Next 10 →

ATOM

On subtyping and matching
by Luca Cardelli — 1995 — In Proceedings ECOOP '95
… generalization of subtyping. Unlike subtyping, matching does not support subsumption, but it does support…
Cited by 46 (5 self) – Add To MetaCart

TooL: A Persistent Language Integrating Subtyping, Matching and Type Quantification
by Andreas Gawecki, Florian Matthes — 1995
…TooL: A Persistent Language Integrating Subtyping, Matching and Type Quantification* Andreas…
Cited by 3 (1 self) – Add To MetaCart

Type Inference for the Mixture of Matching and Implicit Subtyping
by Koji Kagawa — 1996 — In Proc. of the Second Fuji International Workshop on Functional and Logic Programming. World Scientific Publishing
…Type Inference for the Mixture of Matching and Implicit Subtyping Koji Kagawa Department…
Cited by 1 (1 self) – Add To MetaCart

Subtyping is not a good "match" for object-oriented languages
by Kim B. Bruce, Leaf Petersen, Adrian Fiech — 1997 — PROC. ECOOP '97
…Subtyping is not a good \Match" for object-oriented languages ? Kim B. Bruce 1 ,LeafPetersen 1…
Cited by 34 (3 self) – Add To MetaCart

Subtyping is not a good "Match" for object-oriented languages
by Kim B. Bruce, Leaf Petersen, Adrian Fiech — 1997
…Subtyping is not a good "Match" for object-oriented languages ? Kim B. Bruce 1 , Leaf Petersen…
Cited by 30 (9 self) – Add To MetaCart

Parametric Polymorphism in a Type-Safe, Object-Oriented Programming Language
by Angela Marie Schuett
… unusual in using a "matching" relationship rather than subtyping to determine constraints on type…
Cited by 3 (0 self) – Add To MetaCart

Match-O, a Dialect of Eiffel with Match-Types
by Dominique Colnet, Luigi Liquori — 2000
…; { allowing subtyping in all other sound cases. We claim that match-types can be added in the Eiel type system…
Cited by 3 (1 self) – Add To MetaCart

Typing in object-oriented languages: Achieving expressiveness and safety
by Kim B. Bruce — 1996 — Computing Surveys
… - the failure of subtyping : : : : : : : : : : : : : : : : : : 33 9.3 Match-bounded polymorphism…
Cited by 28 (1 self) – Add To MetaCart

PolyTOIL: A type-safe polymorphic object-oriented language
by Kim B. Bruce, Adrian Fiech, Angela Schuett, Robert Van Gent — 1995
… . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63 E.2 Type-checking, subtyping and matching rules . . . . . . . . . . . . . . . . . . . . . . 64 E.3…
Cited by 128 (12 self) – Add To MetaCart

An Overview of AspectJ
by Gregor Kiczales, Erik Hilsdale, Jim Hugunin, Mik Kersten, Jeffrey Palm, William G. Griswold — 2001
…(FigureElement) will not match such join points. Table 2. Primitive pointcut designators. Any …TypeName position does normal sub-type…
Cited by 755 (14 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB